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
Number of items: 2.

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

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

This list was generated on Tue Oct 27 01:38:19 2020 CET.