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 and Jung, Achim and Keimel, Klaus (2004):
The probabilistic powerdomain for stably compact spaces.
328, In: Theoretical Computer Science, pp. 221-244, [Article]

Huth, Michael and Jung, Achim and Keimel, Klaus (2000):
Linear types, approximation, and topology.
10, In: Mathematical structures in computer science, pp. 719-745, [Article]

Jung, Achim and Puhlmann, (1995):
Types, logic, and semantics for nested databases.
In: Conference on Mathematical Foundations of Programming Semantics <11, 1995>. Hrsg.: M. Main u.a., 1, Amsterdam: Elsevier, 1995,
Amsterdam, Elsevier, [Conference or Workshop Item]

This list was generated on Tue Jan 21 00:36:35 2020 CET.