TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 3.

Manilla, Mauricio Alvarez ; Jung, Achim ; Keimel, Klaus (2004)
The probabilistic powerdomain for stably compact spaces.
In: Theoretical Computer Science, 328

Huth, Michael ; Jung, Achim ; Keimel, Klaus (2000)
Linear types, approximation, and topology.
In: Mathematical structures in computer science, 10

Jung, Achim ; Puhlmann, Hermann (1995)
Types, logic, and semantics for nested databases.
In: Electronic Notes in Theoretical Computer Science, 1
doi: 10.1016/S1571-0661(04)00020-9

This list was generated on Sat Dec 2 00:14:10 2023 CET.