TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: German | English
Number of items: 2.

German

Autexier, Serge and Cervesato, Iliano and Mantel, Heiko (eds.) (2005):
Selected papers from FCS/VERIFY 2002.
4 (1-2, Springer Verlag, [Book]

English

Cervesato, Iliano (1996):
A linear logical framework.
1835, Darmstadt: Tech. Hochschule, FB Mathematik, 1996. 12 S.,
Darmstadt, Tech. Hochschule, [Book]

This list was generated on Tue Feb 25 01:45:58 2020 CET.