Sfoglia per Autore
Efficient Ambiguous Parsing of Mathematical Formulae
2004 SACERDOTI COEN, Claudio; Zacchiroli, Stefano
A Generative Approach to the Implementation of Language Bindings for the Document Object Model
2004 L.Padovani; C.Sacerdoti Coen; S.Zacchiroli
SchemaPath, a Minimal Extension to XML Schema for Conditional Constraints
2004 Marinelli, Paolo; SACERDOTI COEN, Claudio; Vitali, Fabio
Mathematical Libraries as Proof Assistant Environments
2004 SACERDOTI COEN, Claudio
A content based mathematical search engine: Whelp
2005 A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
A semi-reflexive tactic for (sub-)equational reasoning
2006 SACERDOTI COEN, Claudio
Explanation in Natural language of lambda-bar-mu-mu-tilde-terms
2006 Sacerdoti Coen, C.
A Formal Correspondence between OMDoc with Alternative Proofs and the lambda-bar-mu-mu-tilde-Calculus
2006 S. Autexier; C. Sacerdoti Coen
An Interactive Algebra Course with Formalised Proofs and Definitions
2006 Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio
Reduction and Conversion Strategies for the Calculus of (co)Inductive Construtions: Part I
2007 C. Sacerdoti Coen
User Interaction with the Matita Proof Assistant
2007 A.Asperti; C.Sacerdoti Coen; E. Tassi; S.Zacchiroli
Tinycals: Step by Step Tacticals
2007 SACERDOTI COEN, Claudio; Tassi, Enrico; Zacchiroli, Stefano
A Note on Formalizing Undefined Terms in Real Analysis
2007 C. Sacerdoti Coen; E. Zoli
Declarative Representation of Proof Terms
2007 C. Sacerdoti Coen
Matita
2007 A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
Spurious Disambiguation Error Detection
2007 SACERDOTI COEN, Claudio; Zacchiroli, Stefano
Crafting a Proof Assistant
2007 A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
Spurious Disambiguation Errors and How to Get Rid of Them
2008 C. Sacerdoti Coen; S. Zacchiroli
Working with Mathematical Structures in Type Theory
2008 SACERDOTI COEN, Claudio; Tassi, Enrico
Matita 0.5.7
2008 A.Asperti; C.Sacerdoti Coen; W. Ricciotti; E.Tassi; S.Zacchiroli
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Efficient Ambiguous Parsing of Mathematical Formulae | SACERDOTI COEN, Claudio; Zacchiroli, Stefano | 2004-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A Generative Approach to the Implementation of Language Bindings for the Document Object Model | L.Padovani; C.Sacerdoti Coen; S.Zacchiroli | 2004-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| SchemaPath, a Minimal Extension to XML Schema for Conditional Constraints | Marinelli, Paolo; SACERDOTI COEN, Claudio; Vitali, Fabio | 2004-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |
| Mathematical Libraries as Proof Assistant Environments | SACERDOTI COEN, Claudio | 2004-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A content based mathematical search engine: Whelp | A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A semi-reflexive tactic for (sub-)equational reasoning | SACERDOTI COEN, Claudio | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Explanation in Natural language of lambda-bar-mu-mu-tilde-terms | Sacerdoti Coen, C. | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A Formal Correspondence between OMDoc with Alternative Proofs and the lambda-bar-mu-mu-tilde-Calculus | S. Autexier; C. Sacerdoti Coen | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| An Interactive Algebra Course with Formalised Proofs and Definitions | Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Reduction and Conversion Strategies for the Calculus of (co)Inductive Construtions: Part I | C. Sacerdoti Coen | 2007-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| User Interaction with the Matita Proof Assistant | A.Asperti; C.Sacerdoti Coen; E. Tassi; S.Zacchiroli | 2007-01-01 | JOURNAL OF AUTOMATED REASONING | - | 1.01 Articolo in rivista | - |
| Tinycals: Step by Step Tacticals | SACERDOTI COEN, Claudio; Tassi, Enrico; Zacchiroli, Stefano | 2007-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| A Note on Formalizing Undefined Terms in Real Analysis | C. Sacerdoti Coen; E. Zoli | 2007-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| Declarative Representation of Proof Terms | C. Sacerdoti Coen | 2007-01-01 | - | RISC Report Series, University of Linz | 4.01 Contributo in Atti di convegno | - |
| Matita | A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2007-01-01 | - | - | 7.04 Software | - |
| Spurious Disambiguation Error Detection | SACERDOTI COEN, Claudio; Zacchiroli, Stefano | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Crafting a Proof Assistant | A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Spurious Disambiguation Errors and How to Get Rid of Them | C. Sacerdoti Coen; S. Zacchiroli | 2008-01-01 | MATHEMATICS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Working with Mathematical Structures in Type Theory | SACERDOTI COEN, Claudio; Tassi, Enrico | 2008-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| Matita 0.5.7 | A.Asperti; C.Sacerdoti Coen; W. Ricciotti; E.Tassi; S.Zacchiroli | 2008-01-01 | - | - | 7.04 Software | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile