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 76 (tempo di esecuzione: 0.056 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 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 -
Certified Complexity (CerCo)Foundational and Practical Aspects of Resource Analysis Roberto M. Amadio;Nicolas Ayache;Francois Bobot;Jaap P. Boender;Brian Campbell;Ilias Garnier;Anto...ine Madet;James McKinna;Dominic P. Mulligan;Mauro Piccolo;Randy Pollack;Yann Régis-Gianas;Claudio Sacerdoti Coen;Ian Stark;Paolo Tranquilli 2014-01-01 - Springer 4.01 Contributo in Atti di convegno -
CICM-WS 2019 Workshop Papers at 12th Conference on Intelligent Computer Mathematics CICM 2019 Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019) Edwin Brady,
James Davenport,
William M. Farmer,
Cezary Kaliszyk,
Andrea Kohlhase,
Michael K...
ohlhase,
Dennis Müller,
Karol Pąk,
Claudio Sacerdoti Coen
2020-01-01 - Sun SITE Central Europe 3.02 Curatela -
The Coq Library as a Theory Graph Muller D.; Rabe F.; Sacerdoti Coen C. 2019-01-01 - Springer Verlag 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 -