 | DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
| 2013 | |
| Bettini | "Implementing Domain-Specific Languages with Xtext and Xtend" Book. |
| 2010 | |
| Vercelli | "On the Complexity of Stratified Logics -- Relationship between stratified light logics and algebras of functions used to characterize polynomial time computable functions" Book. |
| 2009 | |
| Berardi, Damiani and de' Liguoro | "Types for Proofs and Programs (International Conference TYPES 2008, Revised Selected Papers)" Book: LNCS, volume 5497, Springer. |
| 2008 | |
| Lodwick | "Fuzzy surfaces in GIS and geographical analysis: theory, analytical methods, algorithms, and applications" Book. |
| 2004 | |
| Berardi, Coppo and Damiani | "Types for Proofs and Programs (International Workshop TYPES'03, Selected Papers)" Book: LNCS, volume 3085, Springer. |
| Ronchi Della Rocca and Paolini | "The Parametric -Calculus: a Metamodel for Computation" Book: Springer Monography. |
| 2001 | |
| Restivo, Ronchi Della Rocca and Roversi | "Theoretical Computer Science - 7th Italian Conference (ICTCS 2001)" Book. |
| 1996 | |
| Berardi and Coppo | "Types for Proofs and Programs 95'" Book. |
| 1995 | |
| Berardi and Coppo | "Types for Proofs and Programs (International Workshop TYPES'95, Selected Papers)" Book. |
| 1990 | |
| Nestor, Newcomer, Giannini and Stone | "IDL, The Language and its Implementation" Book. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
