Browse by Person
 | Up a level |
Number of items: 2.
Reus, B. ; Streicher, Thomas (1999):
Semantics and logics of objects.
In: Logic in computer science <14, 1999, Trento, IT> : proceedings .- 2002, [Conference or Workshop Item]
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]
Drucken
Impressum