TU Darmstadt / ULB / TUbiblio

General synthetic domain theory - a logical approach

Reus, B. and 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. and Streicher, Thomas
Title: General synthetic domain theory - a logical approach
Language: English
Series Name: Domains III: Workshop; Proceedings. Hrsg.: K.-H. Niggl (u.a.) S. 93-112
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]
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