RICCIOTTI, WILMER

RICCIOTTI, WILMER  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Mostra records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.02 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
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 -
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 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 -
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 proof of Bertrand's postulate A.Asperti; W.Ricciotti 2012-01-01 JOURNAL OF FORMALIZED REASONING - 1.01 Articolo in rivista -
A Web Interface for Matita 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 -
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 -
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 -
Formalizing Turing Machines A.Asperti; W.Ricciotti 2012-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
Hints in Unification A., Asperti; W., Ricciotti; C., Sacerdoti Coen; E.,Tassi 2009-01-01 - - 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 -
Matita 0.99.1 A. Asperti; F. Guidi; W. Ricciotti; C. Sacerdoti Coen; E. Tassi 2012-01-01 - - 7.04 Software -
Rating Disambiguation Errors A.Asperti; W.Ricciotti 2012-01-01 - Springer 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 -