Keimel, Klaus - Fachbereich Mathematik, Technische Universit�t Darmstadt

Advanced Search

Keimel, Klaus - Fachbereich Mathematik, Technische Universit�t Darmstadt

Bicontinuous Valuations Klaus Keimel
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
Refinement calculus with probability or fuzziness Preliminary Report
D-COMPLETIONS AND THE d-TOPOLOGY KLAUS KEIMEL AND JIMMIE D. LAWSON
On the Waybelow Relation on Function Spaces Thomas Erker Mart'in Hotzel Escard'o Klaus Keimel
Topological Cones: Foundations for a Domain Theoretical Semantics combining Probability and Nondeterminism
presentes `A LA FACULTE DES SCIENCES
Imprecise probabilities, bets and functional analytic methods in Lukasiewicz logic
Under consideration for publication in Math. Struct. in Comp. Science Predicate Transformers for Extended
The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces
Electronic Notes in Theoretical Computer Science ?? (2004) URL: http://www.elsevier.nl/locate/entcs/volume??.html ?? pages
Projective Topology on Bifinite Domains and Applications
Topological Cones: Functional Analysis in a T0-Setting
Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic power domain monad over ordered compact spaces
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
MEASURE EXTENSION THEOREMS FOR T0-SPACES KLAUS KEIMEL AND JIMMIE D. LAWSON
Reasoning about programs combining probability and nondeterminism in a probabilistic logic over continuous state spaces
Remarks on pointwise infima of lower semicontinuous Klaus Keimel
Bi-Continuous Domains and Some Old Problems in Domain Theory