PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Keimel, Klaus"

Author of the publication

copydeleteadd this publication to your clipboard
A compendium of continous lattices.

, , , , and . Springer, (1980)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Janos Klaus University of Stuttgart

Klaus Hentschel

apl. Prof. Dr. -Ing. Klaus Leonhardt University of Stuttgart

Dr. phil. Klaus Erlach University of Stuttgart

Klaus Zintz

 

Other publications of authors with the same name

Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language., , and . Theor. Comput. Sci., 412 (25): 2701-2713 (2011)A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language., , and . Ann. Pure Appl. Logic, 159 (3): 307-317 (2009)Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism.. Electr. Notes Theor. Comput. Sci., (2006)Preface., , , and . J. Log. Algebraic Methods Program., 84 (1): 107 (2015)The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces.. Electron. Notes Theor. Comput. Sci., (2004)A compendium of continous lattices., , , , and . Springer, (1980)On the equivalence of state transformer semantics and predicate transformer semantics.. CoRR, (2014)Continuous Lattices and Domains., , , , , , and . Studia Logica, 86 (1): 137-138 (2007)Observationally-induced algebras in Domain Theory., , and . Logical Methods in Computer Science, (2014)The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces., , and . TAMC, volume 3959 of Lecture Notes in Computer Science, page 566-575. Springer, (2006)