Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Castagna-Frisch/05"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

A gentle introduction to semantic subtyping Publikation auswählen
Giuseppe Castagna, Alain Frisch

Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)
Lecture Notes in Computer Science 3580 , 2005, pp. 30-34

Editors  Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg
 
URL:   http://dx.doi.org/10.1007/11523468_3