Sledovať
Claudio Sacerdoti Coen
Názov
Citované v
Citované v
Rok
The Matita interactive theorem prover
A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi
Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011
1222011
User interaction with the Matita proof assistant
A Asperti, C Sacerdoti Coen, E Tassi, S Zacchiroli
Journal of Automated Reasoning 39, 109-139, 2007
1052007
Mathematical knowledge management in HELM
A Asperti, L Padovani, C Sacerdoti Coen, F Guidi, I Schena
Annals of Mathematics and Artificial Intelligence 38, 27-46, 2003
1042003
A content based mathematical search engine: Whelp
A Asperti, F Guidi, CS Coen, E Tassi, S Zacchiroli
International Workshop on Types for Proofs and Programs, 17-32, 2004
762004
Hints in unification
A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi
Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009
732009
HELM and the semantic math-web
A Asperti, L Padovani, CS Coen, I Schena
International Conference on Theorem Proving in Higher Order Logics, 59-74, 2001
722001
ELPI: fast, embeddable, prolog interpreter
C Dunchev, F Guidi, C Sacerdoti Coen, E Tassi
Logic for Programming, Artificial Intelligence, and Reasoning, 460-468, 2015
652015
On the relative usefulness of fireballs
B Accattoli, CS Coen
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 141-155, 2015
532015
A survey on retrieval of mathematical knowledge
F Guidi, C Sacerdoti Coen
Mathematics in Computer Science 10 (4), 409-427, 2016
522016
Crafting a proof assistant
A Asperti, CS Coen, E Tassi, S Zacchiroli
International Workshop on Types for Proofs and Programs, 18-32, 2006
512006
Certified complexity (cerco)
RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ...
Foundational and Practical Aspects of Resource Analysis: Third International …, 2014
502014
Schemapath, a minimal extension to XML Schema for conditional constraints
CS Coen, P Marinelli, F Vitali
Proceedings of the 13th international conference on World Wide Web, 164-174, 2004
442004
A bi-directional refinement algorithm for the calculus of (co) inductive constructions
A Asperti, W Ricciotti, CS Coen, E Tassi
Logical Methods in Computer Science 8, 2012
402012
A compact kernel for the calculus of inductive constructions
A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi
Sadhana 34, 71-144, 2009
372009
A survey on retrieval of mathematical knowledge
F Guidi, C Sacerdoti Coen
International Conference on Intelligent Computer Mathematics, 296-315, 2015
312015
SmartTools: a development environment generator based on XML technologies
I Attali, C Courbis, P Degenne, A Fau, J Fillon, D Parigot, C Pasquier, ...
XML Technologies and Software Engineering, 2001
312001
Strong call-by-value is reasonable, implosively
B Accattoli, A Condoluci, CS Coen
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021
282021
Tinycals: step by step tacticals
CS Coen, E Tassi, S Zacchiroli
Electronic Notes in Theoretical Computer Science 174 (2), 125-142, 2007
262007
A semi-reflexive tactic for (sub-) equational reasoning
CS Coen
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en …, 2006
262006
Crumbling abstract machines
B Accattoli, A Condoluci, G Guerrieri, CS Coen
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
252019
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20