The following pages link to Klaus Keimel (Q371256):
Displayed 50 items.
- Retracted: Semantic domains for combining probability and non-determinism (Q371258) (← links)
- Semantic domains for combining probability and non-determinism (Q371259) (← links)
- Extending algebraic operations to D-completions (Q418818) (← links)
- Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces (Q431707) (← links)
- (Q541215) (redirect page) (← links)
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language (Q541217) (← links)
- The probabilistic powerdomain for stably compact spaces (Q703479) (← links)
- (Q797607) (redirect page) (← links)
- Projective topology on bifinite domains and applications (Q854172) (← links)
- On homomorphisms of ordered semigroups into real numbers (Q908950) (← links)
- Topological cones: functional analysis in a \(T_{0}\)-setting (Q938295) (← links)
- D-completions and the \(d\)-topology (Q1023293) (← links)
- A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language (Q1023294) (← links)
- Embeddings into power series rings (Q1088697) (← links)
- Kakutani property of the polytopes implies Kakutani property of the whole space (Q1103911) (← links)
- Samuel Wolfenstein in memoriam (Q1105574) (← links)
- Baer ordered *-fields of the first kind (Q1119717) (← links)
- Prime strict ideals in Rickart *-rings (Q1175028) (← links)
- Ordered cones and approximation (Q1189536) (← links)
- Topologische Darstellung von Verbänden (Q1222669) (← links)
- Groupes et anneaux reticules (Q1248535) (← links)
- The way-below relation of function spaces over semantic domains (Q1295215) (← links)
- The Cuntz semigroup and domain theory (Q1701725) (← links)
- Measure extension theorems for \(T_{0}\)-spaces (Q1779229) (← links)
- Order environments of topological spaces (Q1780313) (← links)
- Compact continuous \(L\)-domains (Q1963068) (← links)
- Weak topologies and compactness in asymmetric functional analysis (Q2017854) (← links)
- The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras (Q2378289) (← links)
- Eine Exponentialfunktion für kompakte abelsche Halbgruppen (Q2524069) (← links)
- Lokal kompakte Kegelhalbgruppen und deren Einbettung in topologische Vektorräume (Q2528931) (← links)
- A cross section theorem for certain compact abelian semigroups (Q2544209) (← links)
- Baer extensions of rings and Stone extensions of semigroups (Q2548668) (← links)
- Congruence relations of cone semigroups (Q2550462) (← links)
- Linear types and approximation (Q2709786) (← links)
- Extending Algebraic Operations to D-Completions (Q2805153) (← links)
- (Q2844078) (← links)
- (Q2852362) (← links)
- Locally convex cones and the Schröder-Simpson theorem (Q2862808) (← links)
- Observationally-induced algebras in Domain Theory (Q2921115) (← links)
- Continuous and Completely Distributive Lattices (Q2950767) (← links)
- (Q2980964) (← links)
- Bicontinuous Domains and Some Old Problems in Domain Theory (Q2994478) (← links)
- Choquet–Kendall–Matheron theorems for non-Hausdorff spaces (Q3008231) (← links)
- Weak upper topologies and duality for cones (Q3196353) (← links)
- A Korovkin Type Approximation Theorem for Set-Valued Functions (Q3468199) (← links)
- Predicate transformers for extended probability and non-determinism (Q3636909) (← links)
- (Q3743296) (← links)
- The Semilattices with Distinguished Endomorphisms which are Equationally Compact (Q3859834) (← links)
- (Q3871432) (← links)
- (Q3898534) (← links)