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: 4.

Article

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

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

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
Article, Bibliographie

Book Section

Abramsky, Samson ; Jung, Achim (1994)
Domain theory.
In: Semantic structures
Book Section, Bibliographie

This list was generated on Sat Feb 24 01:42:10 2024 CET.