CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 81
Titolo Autore(i) Anno Periodico Editore Tipo File
On the Correctness of an Optimising Assembler for the Intel MCS-51 MicroprocessorCertified Programs and Proofs Dominic P. Mulligan;Claudio Sacerdoti Coen 2012-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
Lebesgue's dominated convergence theorem in Bishop's style C. Sacerdoti Coen; E. Zoli 2012-01-01 ANNALS OF PURE AND APPLIED LOGIC - 1.01 Articolo in rivista -
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10) D. Aspinall; C. Sacerdoti Coen 2012-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE Academic Press (Elsevier) 3.02 Curatela -
Matita 0.99.1 A. Asperti; F. Guidi; W. Ricciotti; C. Sacerdoti Coen; E. Tassi 2012-01-01 - - 7.04 Software -
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 -
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 -
Trusted CerCo Cost Annotating Compiler J. Boender; B. Campbell; I. Gardner; J. McKinna; D. P. Mulligan; M. Piccolo; C. Sacerdoti Coen; I.... Stark; P. Tranquilli 2013-01-01 - - 7.04 Software -
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 (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 -
Matita Tutorial Andrea Asperti; Wilmer Ricciotti; Claudio Sacerdoti Coen 2014-01-01 JOURNAL OF FORMALIZED REASONING - 1.01 Articolo in rivista -
On the correctness of a branch displacement algorithm Boender, J.; Sacerdoti Coen, C. 2014-01-01 - Springer Berlin Heidelberg 4.01 Contributo in Atti di convegno -
On the value of variables Accattoli, B.; Sacerdoti Coen, C. 2014-01-01 - Springer Berlin Heidelberg 4.01 Contributo in Atti di convegno -
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 -
Embedded Lambda Prolog Interpreter (ELPI) Tsvetan Chavdarov, Dunchev; Claudio Sacerdoti Coen; Enrico Tassi 2015-01-01 - - 7.04 Software -
On the relative usefulness of fireballs Accattoli, Beniamino; SACERDOTI COEN, Claudio 2015-01-01 - Institute of Electrical and Electronics Engineers Inc. 4.01 Contributo in Atti di convegno Accattoli,SacerdotiCoen-OntheUsefulnessofFireballs.pdf
ELPI: Fast, embeddable, λprolog interpreter Dunchev, Tsvetan Chavdarov; Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico 2015-01-01 LECTURE NOTES IN COMPUTER SCIENCE Springer Verlag 4.01 Contributo in Atti di convegno -
Implementing HOL in an higher order logic programming language Dunchev, Tsvetan; Sacerdoti Coen, Claudio; Tassi, Enrico 2016-01-01 - Association for Computing Machinery 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 -
On the value of variables Accattoli, Beniamino; SACERDOTI COEN, Claudio 2017-01-01 INFORMATION AND COMPUTATION - 1.01 Articolo in rivista -
Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper) Alberto Fiori, Claudio Sacerdoti Coen 2018-01-01 - - 4.01 Contributo in Atti di convegno -
Mostrati risultati da 41 a 60 di 81
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