CRIS Current Research Information System

RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.011 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
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 -
Embedded Lambda Prolog Interpreter (ELPI) Tsvetan Chavdarov, Dunchev; Claudio Sacerdoti Coen; Enrico Tassi 2015-01-01 - - 7.04 Software -
Matita A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli 2007-01-01 - - 7.04 Software -
Matita 0.5.7 A.Asperti; C.Sacerdoti Coen; W. Ricciotti; E.Tassi; S.Zacchiroli 2008-01-01 - - 7.04 Software -
Matita 0.5.8 A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli 2009-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 -
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 -
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.011 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 7 - Altra tipologia 7
  • 7 - Altra tipologia::7.04 Software 7
Autore
  • ASPERTI, ANDREA 4
  • TASSI, ENRICO 3
  • RICCIOTTI, WILMER 2
  • DUNCHEV, TSVETAN CHAVDAROV 1
  • GUIDI, FERRUCCIO 1
  • ZACCHIROLI, STEFANO 1
Data di pubblicazione
  • 2015 1
  • 2013 2
  • 2012 1
  • 2009 1
  • 2008 1
  • 2007 1
Keyword
  • ALGEBRAIC UNIVERSES 3
  • CALCULUS OF CONSTRUCTIONS 3
  • INTERACTIVE THEOREM PROVER 3
  • PROOF ASSISTANT 3
  • 8051 2
  • UNIFICATION HINTS 2
  • CALCOLO DELLE COSTRUZIONI 1
  • certified software 1
  • CORRETTEZZA DEL SOFTWARE 1
  • cost annotations 1
Lingua
  • eng 3
Accesso al fulltext
  • no fulltext 7