|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
|
|
Results
Found 39 publication records. Showing 39 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Claudio Sacerdoti Coen, Enrico Zoli |
Lebesgue's dominated convergence theorem in Bishop's style.  |
Ann. Pure Appl. Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi |
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen, Enrico Tassi |
Formalising Overlap Algebras in Matita. |
Mathematical Structures in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Armadio, Andrea Asperti, Nicholas Ayache, B. Campbell, D. Mulligan, R. Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, I. Stark |
Certified Complexity. |
Procedia CS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen |
A Foundational View on Integration Problems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi |
The Matita Interactive Theorem Prover. |
CADE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen |
A Foundational View on Integration Problems. |
Calculemus/MKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini |
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. |
Calculemus/MKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi |
Regular Expressions, au point |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen, Silvio Valentini |
General Recursion and Formal Topology |
PAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen |
Declarative Representation of Proof Terms. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Claudio Sacerdoti Coen |
Some Considerations on the Usability of Interactive Provers. |
AISC/MKM/Calculemus |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi |
Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen |
A User Interface for a Mathematical System that Allows Ambiguous Formulae. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen, Enrico Tassi |
Nonuniform Coercions via Unification Hints |
TYPES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt (eds.) |
Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen, Enrico Tassi |
Natural Deduction Environment for Matita. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi |
Hints in Unification. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen, Stefano Zacchiroli |
Spurious Disambiguation Errors and How to Get Rid of Them. |
Mathematics in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
metavariables, user interaction, Ambiguity, semantic analysis |
| 1 | Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli |
Tinycals: Step by Step Tacticals. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen |
Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli |
User Interaction with the Matita Proof Assistant. |
J. Autom. Reasoning |
2007 |
DBLP DOI BibTeX RDF |
Mathematical knowledge management, XML, Digital libraries, Authoring, Interactive theorem proving, Proof assistant |
| 1 | Claudio Sacerdoti Coen, Stefano Zacchiroli |
Spurious Disambiguation Error Detection. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen, Enrico Tassi |
Working with Mathematical Structures in Type Theory. |
TYPES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Autexier, Claudio Sacerdoti Coen |
A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli |
Crafting a Proof Assistant. |
TYPES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen |
Explanation in Natural Language of lamda-µµ-Terms. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen |
An Interactive Algebra Course with Formalised Proofs and Definitions. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen |
Mathematical Libraries as Proof Assistant Environments. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen, Stefano Zacchiroli |
Efficient Ambiguous Parsing of Mathematical Formulae. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen, Paolo Marinelli, Fabio Vitali |
Schemapath, a minimal extension to xml schema for conditional constraints. |
WWW |
2004 |
DBLP DOI BibTeX RDF |
co-constraints, schema languages, schemapath, xml |
| 1 | Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli |
A Generative Approach to the Implementation of Language Bindings for the Document Object Model. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen |
A Semi-reflexive Tactic for (Sub-)Equational Reasoning. |
TYPES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli |
A Content Based Mathematical Search Engine: Whelp. |
TYPES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena |
Mathematical Knowledge Management in HELM. |
Ann. Math. Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen |
A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen |
From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena |
XML, Stylesheets and the Re-mathematization of Formal Content. |
Extreme Markup Languages® |
2001 |
DBLP BibTeX RDF |
|
| 1 | Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena |
HELM and the Semantic Math-Web. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #39 of 39 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")