CRIS Current Research Information System

SACERDOTI COEN, CLAUDIO

SACERDOTI COEN, CLAUDIO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di IIa fascia  

Coen, S. C.; Coen, Claudio Sacerdoti; C. SACERDOTI COEN; Claudio Sacerdoti Coen  

Mostra records
Risultati 1 - 20 di 77 (tempo di esecuzione: 0.025 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 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 constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita C. Sacerdoti Coen; E. Tassi 2008-01-01 JOURNAL OF FORMALIZED REASONING - 1.01 Articolo in rivista -
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 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 -
A Foundational View on Integration Problems F.Rabe; M.Kohlhase; C.Sacerdoti Coen 2011-01-01 - Springer-Verlag 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 -
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 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 -
A Plugin to Export Coq Libraries to XML Sacerdoti Coen C. 2019-01-01 - Springer Verlag 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 -
A Survey on Retrieval of Mathematical Knowledge Guidi, Ferruccio; Sacerdoti Coen, Claudio 2016-01-01 MATHEMATICS IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
A survey on retrieval of mathematical knowledge Guidi, Ferruccio; Sacerdoti Coen, Claudio 2015-01-01 LECTURE NOTES IN COMPUTER SCIENCE Springer Verlag 4.01 Contributo in Atti di convegno -
A Term Rewriting System for Kuratowski's Closure-Complement Problem O. Al-Hassani; Q. Mahesar; C. Sacerdoti Coen; V. Sorge 2012-01-01 - Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik 4.01 Contributo in Atti di convegno -
A User Interface for a Mathematical System that Allows Ambiguous Formulae C. Sacerdoti Coen 2009-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 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 -
Analysis of smart contracts balances Cosimo Laneve; Claudio Sacerdoti Coen 2021-01-01 BLOCKCHAIN: RESEARCH AND APPLICATIONS - 1.01 Articolo in rivista ana.pdf
CerCo Cost Annotating Compiler R. M. Amadio; N. Ayache; Y. Régis-Gianas; R. Saillard; B. Campbell; D. Mulligan; P. Tranquilli; C.... Sacerdoti Coen 2013-01-01 - - 7.04 Software -
Certified Complexity R. Armadio; A. Asperti; N. Ayache; B. Campbell; D. Mulligan; R. Pollack; Y. Regis-Gianas; C. Sace...rdoti Coen; I. Stark 2011-01-01 PROCEDIA COMPUTER SCIENCE - 1.01 Articolo in rivista -
Certified Complexity (CerCo) C. Sacerdoti Coen 2010-01-01 - - 8.04 Coordinamento di progetti di ricerca -