Browse by Person
Up a level |
Tix, Regina ; Keimel, Klaus ; Plotkin, Gordon D. (2005)
Semantic domains for combining probability and non-determinism.
In: Electronic Notes in Theoretical Computer Science, 129
doi: 10.1016/j.entcs.2004.06.063
Article, Bibliographie
Keimel, Klaus ; Lawson, Jimmie D. (2005)
Measure extension theorems for T0-spaces.
In: Topology and its applications, 149
Article, Bibliographie
Keimel, Klaus ; Liang, Jihua (2004)
Order environments of topological spaces.
In: Acta Mathematica Sinica, 20
Article, Bibliographie
Keimel, Klaus (2004)
The probabilistic powerdomain for stably compact spaces via compact ordered spaces.
In: Electronic Notes in Theoretical Computer Science, 87
Article, Bibliographie
Manilla, Mauricio Alvarez ; Jung, Achim ; Keimel, Klaus (2004)
The probabilistic powerdomain for stably compact spaces.
In: Theoretical Computer Science, 328
Article, Bibliographie
Keimel, Klaus (2003)
Verstetigung internationaler Studiengänge.
In: Studium / DAAD, Deutscher Akademischer Austausch-Dienst
Book Section, Bibliographie
Keimel, Klaus (2000)
Bachelor und Master in Mathematik und Naturwissenschaften: Ergebnisse der Arbeitsgruppe Mathematik.
In: Dokumentationen und Materialien, 39
Article, Bibliographie
Huth, Michael ; Jung, Achim ; Keimel, Klaus (2000)
Linear types, approximation, and topology.
In: Mathematical structures in computer science, 10
Article, Bibliographie
Keimel, Klaus ; Liang, Jihua (1999)
Compact continuous L-domains.
In: Computers and mathematics with applications, 38
Article, Bibliographie
Keimel, Klaus (1998)
Bi-continuous valuations.
Conference or Workshop Item, Bibliographie
Erker, Thomas ; Hötzel Escardo, Martin ; Keimel, Klaus (1998)
The way-below relation of function spaces over semantic domains.
In: Topology and its applications, 89 (1/2)
doi: 10.1016/S0166-8641(97)00226-5
Article, Bibliographie
Keimel, Klaus (1995)
Some trends in lattice-ordered groups and rings.
In: Lattice theory and its applications : in celebration of Garrett Birkhoff's 80th birthday
Book Section, Bibliographie