Claudio Sacerdoti Coen
Title
Cited by
Cited by
Year
User interaction with the Matita proof assistant
A Asperti, CS Coen, E Tassi, S Zacchiroli
Journal of Automated Reasoning 39 (2), 109-139, 2007
982007
The Matita interactive theorem prover
A Asperti, W Ricciotti, CS Coen, E Tassi
International Conference on Automated Deduction, 64-69, 2011
912011
Mathematical knowledge management in HELM
A Asperti, L Padovani, CS Coen, F Guidi, I Schena
Annals of Mathematics and Artificial Intelligence 38 (1-3), 27-46, 2003
892003
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
702004
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
702001
Hints in unification
A Asperti, W Ricciotti, CS Coen, E Tassi
International Conference on Theorem Proving in Higher Order Logics, 84-98, 2009
512009
Crafting a proof assistant
A Asperti, CS Coen, E Tassi, S Zacchiroli
International Workshop on Types for Proofs and Programs, 18-32, 2006
482006
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
402004
On the relative usefulness of fireballs
B Accattoli, CS Coen
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 141-155, 2015
392015
A survey on retrieval of mathematical knowledge
F Guidi, CS Coen
Mathematics in Computer Science 10 (4), 409-427, 2016
332016
ELPI: Fast, Embeddable, Prolog Interpreter
C Dunchev, F Guidi, CS Coen, E Tassi
Logic for Programming, Artificial Intelligence, and Reasoning, 460-468, 2015
322015
A compact kernel for the calculus of inductive constructions
A Asperti, W Ricciotti, CS Coen, E Tassi
Sadhana 34 (1), 71-144, 2009
312009
On the value of variables
B Accattoli, CS Coen
Information and Computation 255, 224-242, 2017
292017
A bi-directional refinement algorithm for the calculus of (co) inductive constructions
A Asperti, W Ricciotti, CS Coen, E Tassi
arXiv preprint arXiv:1202.4905, 2012
272012
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
262001
Tinycals: step by step tacticals
CS Coen, E Tassi, S Zacchiroli
Electronic Notes in Theoretical Computer Science 174 (2), 125-142, 2007
242007
Mathematical knowledge management and interactive theorem proving
CS Coen
PhD thesis, University of Bologna, 2004. Technical Report UBLCS 2004-5, 2004
242004
Certified complexity (cerco)
RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ...
International Workshop on Foundational and Practical Aspects of Resource …, 2013
232013
A semi-reflexive tactic for (sub-) equational reasoning
CS Coen
International Workshop on Types for Proofs and Programs, 98-114, 2004
222004
Working with mathematical structures in type theory
CS Coen, E Tassi
International Workshop on Types for Proofs and Programs, 157-172, 2007
212007
The system can't perform the operation now. Try again later.
Articles 1–20