Sfoglia per Autore
Mostrati risultati da 1 a 15 di 15
Matita 0.5.7
2008 A.Asperti; C.Sacerdoti Coen; W. Ricciotti; E.Tassi; S.Zacchiroli
A new type for tactics
2009 A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen
A compact kernel for the calculus of inductive constructions
2009 A.Asperti; W.Ricciotti; C.Sacerdoti Coen; E.Tassi
Hints in Unification
2009 A., Asperti; W., Ricciotti; C., Sacerdoti Coen; E.,Tassi
About the Formalization of some Results by Chebyshev in Number Theory
2009 A. Asperti; W. Ricciotti
The Matita Interactive Theorem Prover
2011 Asperti, Andrea; Ricciotti, Wilmer; SACERDOTI COEN, Claudio; Tassi, E.
A Web Interface for Matita
2012 A. Asperti; W. Ricciotti
A Canonical Locally Named Representation of Binding
2012 Pollack R.; Sato M.; Ricciotti W.
A proof of Bertrand's postulate
2012 A.Asperti; W.Ricciotti
Matita 0.99.1
2012 A. Asperti; F. Guidi; W. Ricciotti; C. Sacerdoti Coen; E. Tassi
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover
2012 A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
2012 A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi
Rating Disambiguation Errors
2012 A.Asperti; W.Ricciotti
Formalizing Turing Machines
2012 A.Asperti; W.Ricciotti
A Web Interface for the Matita Proof Assistant
2012 A. Asperti; W.Ricciotti
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Matita 0.5.7 | A.Asperti; C.Sacerdoti Coen; W. Ricciotti; E.Tassi; S.Zacchiroli | 2008-01-01 | - | - | 7.04 Software | - |
| A new type for tactics | A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen | 2009-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| A compact kernel for the calculus of inductive constructions | A.Asperti; W.Ricciotti; C.Sacerdoti Coen; E.Tassi | 2009-01-01 | SADHANA (BANGALORE) | - | 1.01 Articolo in rivista | - |
| Hints in Unification | A., Asperti; W., Ricciotti; C., Sacerdoti Coen; E.,Tassi | 2009-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| About the Formalization of some Results by Chebyshev in Number Theory | A. Asperti; W. Ricciotti | 2009-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| The Matita Interactive Theorem Prover | Asperti, Andrea; Ricciotti, Wilmer; SACERDOTI COEN, Claudio; Tassi, E. | 2011-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| A Web Interface for Matita | A. Asperti; W. Ricciotti | 2012-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| A Canonical Locally Named Representation of Binding | Pollack R.; Sato M.; Ricciotti W. | 2012-01-01 | JOURNAL OF AUTOMATED REASONING | - | 1.01 Articolo in rivista | - |
| A proof of Bertrand's postulate | A.Asperti; W.Ricciotti | 2012-01-01 | JOURNAL OF FORMALIZED REASONING | - | 1.01 Articolo in rivista | - |
| Matita 0.99.1 | A. Asperti; F. Guidi; W. Ricciotti; C. Sacerdoti Coen; E. Tassi | 2012-01-01 | - | - | 7.04 Software | - |
| Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover | A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi | 2012-01-01 | JOURNAL OF AUTOMATED REASONING | - | 1.01 Articolo in rivista | - |
| A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions | A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi | 2012-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Rating Disambiguation Errors | A.Asperti; W.Ricciotti | 2012-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Formalizing Turing Machines | A.Asperti; W.Ricciotti | 2012-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| A Web Interface for the Matita Proof Assistant | A. Asperti; W.Ricciotti | 2012-01-01 | - | - | 7.04 Software | - |
Mostrati risultati da 1 a 15 di 15
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