Foto del docente

Claudio Sacerdoti Coen

Professore associato

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Coordinatore del Corso di Laurea in Informatica

Pubblicazioni

A.Asperti; C.Sacerdoti Coen; W. Ricciotti; E.Tassi; S.Zacchiroli, Matita 0.5.7, 2008. [software]

C. Sacerdoti Coen; S. Zacchiroli, Spurious Disambiguation Errors and How to Get Rid of Them, «MATHEMATICS IN COMPUTER SCIENCE», 2008, 2, pp. 355 - 378 [articolo]

SACERDOTI COEN, Claudio; Tassi, Enrico, Working with Mathematical Structures in Type Theory, in: ., 2008, 4941, pp. 157 - 172 (atti di: TYPES 2007: Conference of the Types Project, Cividale del Friuli (Udine), Italy, 2-5 May 2007) [Contributo in Atti di convegno]

C. Sacerdoti Coen; E. Zoli, A Note on Formalizing Undefined Terms in Real Analysis, in: PATE 07, International Workshop on Proof Assistants and Types in Education, s.l, s.n, 2007, pp. 3 - 16 (atti di: PATE 07, International Workshop on Proof Assistants and Types in Education, Parigi, 25/06/2007) [Contributo in Atti di convegno]

A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, Crafting a Proof Assistant, in: Types for Proofs and Programs, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4502, pp. 18 - 32 (atti di: TYPES 2006, Nottingham, UK, April 18-21, 2006) [Contributo in Atti di convegno]

C. Sacerdoti Coen, Declarative Representation of Proof Terms, in: Programming Languages for Mechanized Mathematics Workshop, LINZ, RISC Report Series, University of Linz, 2007, 07-10, pp. 3 - 18 (atti di: Programming Languages for Mechanized Mathematics Workshop, Research Institute for Symbolic Computation, Hagenberg, Austria, 29-30/06/2007) [Contributo in Atti di convegno]

A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, Matita, 2007. [software]

C. Sacerdoti Coen, Reduction and Conversion Strategies for the Calculus of (co)Inductive Construtions: Part I, in: , 2007, 174(10), pp. 97 - 118 (atti di: Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006), Seattle, Washington, 11 Agosto 2006) [Contributo in Atti di convegno]

SACERDOTI COEN, Claudio; Zacchiroli, Stefano, Spurious Disambiguation Error Detection, in: Towards Mechanized Mathematical Assistants, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4573, pp. 381 - 392 (atti di: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007) [Contributo in Atti di convegno]

SACERDOTI COEN, Claudio; Tassi, Enrico; Zacchiroli, Stefano, Tinycals: Step by Step Tacticals, in: , 2007, 174(2), pp. 125 - 142 (atti di: 7th Workshop on User Interfaces for Theorem Provers, Seattle, Washington, 12 Agosto 2006) [Contributo in Atti di convegno]

A.Asperti; C.Sacerdoti Coen; E. Tassi; S.Zacchiroli, User Interaction with the Matita Proof Assistant, «JOURNAL OF AUTOMATED REASONING», 2007, 39, Number 2, pp. 109 - 139 [articolo]

S. Autexier; C. Sacerdoti Coen, A Formal Correspondence between OMDoc with Alternative Proofs and the lambda-bar-mu-mu-tilde-Calculus, in: Lecture Notes in Computer Science - Lecture Notes in Artificial Intelligence Mathematical Knowledge Management, 5th International Conference, MKM 2006, s.l, Springer, 2006, 4108, pp. 67 - 81 (atti di: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, 11-12/08/2006) [Contributo in Atti di convegno]

SACERDOTI COEN, Claudio, A semi-reflexive tactic for (sub-)equational reasoning, in: Types for Proofs and ProgramsInternational Workshop, TYPES 2004, s.l, Springer, 2006, 3839, pp. 99 - 115 (atti di: Types for Proofs and ProgramsInternational Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004) [Contributo in Atti di convegno]

Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio, An Interactive Algebra Course with Formalised Proofs and Definitions, in: Lecture Notes in Computer Science-Lecture Notes in Artificial Intelligence Mathematical Knowledge Management 4th International Conference, MKM 2005, s.l, Springer, 2006, 3863, pp. 315 - 329 (atti di: Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005) [Contributo in Atti di convegno]

Sacerdoti Coen, C., Explanation in Natural language of lambda-bar-mu-mu-tilde-terms, in: Lecture Notes in Computer Science-Lecture Notes in Artificial IntelligenceMathematical Knowledge Management4th International Conference, MKM 2005, s.l, Springer, 2006, 3863, pp. 234 - 249 (atti di: Mathematical Knowledge Management4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005) [Contributo in Atti di convegno]

Ultimi avvisi

Al momento non sono presenti avvisi.