Follow
Klaus Keimel
Klaus Keimel
Professor of Mathematics, Technische Universitaet Darmstadt
Verified email at mathematik.tu-darmstadt.de - Homepage
Title
Cited by
Cited by
Year
A compendium of continuous lattices
G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott
Springer Science & Business Media, 2012
21772012
Continuous lattices and domains
G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott
Cambridge university press, 2003
21332003
Groupes et anneaux réticulés
A Bigard, K Keimel, S Wolfenstein
Springer, 2006
7962006
Ordered cones and approximation
K Keimel, W Roth
Springer, 2006
1182006
The representation of lattice-ordered groups and rings by sections in sheaves
K Keimel
Lectures on the Applications of Sheaves to Ring Theory, 1-98, 1971
1131971
RETRACTED: Semantic Domains for Combining Probability and Non-Determinism
R Tix, K Keimel, G Plotkin
Electronic Notes in Theoretical Computer Science 129, 1-104, 2005
902005
Ordered cones and approximation
K Keimel, W Roth
Lecture Notes in Mathematics, 1992
811992
Semantic domains for combining probability and non-determinism
R Tix, K Keimel, G Plotkin
Electronic Notes in Theoretical Computer Science 222, 3-99, 2009
762009
D-completions and the d-topology
K Keimel, JD Lawson
Annals of Pure and Applied Logic 159 (3), 292-306, 2009
732009
Quasicontinuous domains and the Smyth powerdomain
R Heckmann, K Keimel
Electronic Notes in Theoretical Computer Science 298, 215-232, 2013
682013
A general character theory for partially ordered sets and lattices
KH Hofmann, K Keimel
American Mathematical Soc., 1972
661972
A direct proof of the Hofmann-Mislove theorem
K Keimel, J Paseka
Proceedings of the American Mathematical Society, 301-303, 1994
651994
STONE DUALITY FOR VARIETIES GENERATED BY QUASI-PRIMAL ALGEBRAS 59
K Keimel, H Werner
Recent Advances in the Representation Theory of Rings and $ C^\ast …, 1974
611974
Sheaf theoretical concepts in analysis: bundles and sheaves of Banach spaces, Banach C (X)-modules
KH Hofmann, K Keimel
Applications of sheaves, 415-441, 1979
601979
Mixed powerdomains for probability and nondeterminism
K Keimel, GD Plotkin
arXiv preprint arXiv:1612.01005, 2016
562016
Sur les endomorphismes conservant les polaires d'un groupe réticulé archimédien
A Bigard, K Keimel
Bulletin de la Société Mathématique de France 97, 381-398, 1969
501969
A unified theory of minimal prime ideals
K Keimel
Acta Mathematica Hungarica 23 (1-2), 51-69, 1972
471972
The way-below relation of function spaces over semantic domains
T Erker, MH Escardó, K Keimel
Topology and its Applications 89 (1-2), 61-74, 1998
461998
The probabilistic powerdomain for stably compact spaces
M Alvarez-Manilla, A Jung, K Keimel
Theoretical Computer Science 328 (3), 221-244, 2004
422004
Topological cones: functional analysis in a T0-setting
K Keimel
Semigroup Forum 77 (1), 109-142, 2008
352008
The system can't perform the operation now. Try again later.
Articles 1–20