TU Darmstadt / ULB / TUbiblio

General synthetic domain theory - a logical approach

Reus, B. ; Streicher, Thomas :
General synthetic domain theory - a logical approach.
In: Domains III: Workshop; Proceedings. Hrsg.: K.-H. Niggl (u.a.) S. 93-112 , 9712 . Ludwig-Maximilians-Univ , München
[Konferenz- oder Workshop-Beitrag], (1997)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1997
Autor(en): Reus, B. ; Streicher, Thomas
Titel: General synthetic domain theory - a logical approach
Sprache: Englisch
Reihe: Domains III: Workshop; Proceedings. Hrsg.: K.-H. Niggl (u.a.) S. 93-112
Band: 9712
Ort: München
Verlag: Ludwig-Maximilians-Univ
Edition: München: Ludwig-Maximilians-Univ., Inst. für Informatik, 1997
Kollation: für Informatik, 1997
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:21
Zusätzliche Informationen:

Ersch. ebenf. in: Mathematical structures in computer science. 9 (1999), 2, S. 177-223

Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen