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 [2] Hilfe Hilfe
 
Suche: Citkey="Winskel/94"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Stable bistructure models of PCF Publikation auswählen
Glynn Winskel

Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Kos̑ice, Slovakia, August 22-26, 1994)
Lecture Notes in Computer Science 841 , 1994, pp. 177-200

Editors  Igor Prívara, Branislv Rovan, Peter Ruz̑ic̑ka
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest