TU Darmstadt / ULB / TUbiblio

General synthetic domain theory - a logical approach

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

Item Type: Conference or Workshop Item
Erschienen: 1997
Creators: Reus, B. ; Streicher, Thomas
Title: General synthetic domain theory - a logical approach
Language: English
Series: Domains III: Workshop; Proceedings. Hrsg.: K.-H. Niggl (u.a.) S. 93-112
Series Volume: 9712
Place of Publication: München
Publisher: Ludwig-Maximilians-Univ
Edition: München: Ludwig-Maximilians-Univ., Inst. für Informatik, 1997
Collation: für Informatik, 1997
Divisions: 04 Department of Mathematics
Date Deposited: 19 Nov 2008 16:21
Additional Information:

Ersch. ebenf. in: Mathematical structures in computer science. 9 (1999), 2, S. 177-223
License: [undefiniert]
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details
OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.
Drucken | Impressum | Datenschutzerklärung