E-LIB Suche - Ergebnisse für: Keimel, Klaus

1

The Cuntz semigroup and domain theory:

Keimel, Klaus
Soft Computing. 21 (2017) 10 - p. 2485-2502 , 2017

Link: https://doi.org/10.1007/..

2

Domain Theory its Ramifications and Interactions:

Keimel, Klaus
Electronic Notes in Theoretical Computer Science. 333 (2017) - p. 3-16 , 2017

Link: https://doi.org/10.1016/..

3

Healthiness Conditions for Predicate Transformers:

Keimel, Klaus
Electronic Notes in Theoretical Computer Science. 319 (2015) - p. 255-270 , 2015

Link: https://doi.org/10.1016/..

4

Weak topologies and compactness in asymmetric functional an..:

Keimel, Klaus
Topology and its Applications. 185-186 (2015) - p. 1-22 , 2015

Link: https://doi.org/10.1016/..

5

Preface:

Berger, Ulrich ; Blanck, Jens ; Escardó, Martín.
Journal of Logical and Algebraic Methods in Programming. 84 (2015) 1 - p. 107 , 2015

Link: https://doi.org/10.1016/..

6

Quasicontinuous Domains and the Smyth Powerdomain:

Heckmann, Reinhold ; Keimel, Klaus
Electronic Notes in Theoretical Computer Science. 298 (2013) - p. 215-232 , 2013

Link: https://doi.org/10.1016/..

7

Imprecise probabilities, bets and functional analytic metho..:

Fedel, Martina ; Keimel, Klaus ; Montagna, Franco.
Forum Mathematicum. 25 (2013) 2 - p. , 2013

Link: https://doi.org/10.1515/..

8

Extending algebraic operations to D-completions:

Keimel, Klaus ; Lawson, Jimmie D.
Theoretical Computer Science. 430 (2012) - p. 73-87 , 2012

Link: https://doi.org/10.1016/..

9

Locally convex cones and the Schröder-Simpson theorem:

Keimel, Klaus
Quaestiones Mathematicae. 35 (2012) 3 - p. 353-390 , 2012

Link: https://doi.org/10.2989/..

10

Choquet–Kendall–Matheron theorems for non-Hausdorff spaces:

GOUBAULT-LARRECQ, JEAN ; KEIMEL, KLAUS
Mathematical Structures in Computer Science. 21 (2011) 3 - p. 511-561 , 2011

Link: https://doi.org/10.1017/..

11

Preface for the special issue on domains:

REUS, BERNHARD ; JUNG, ACHIM ; KEIMEL, KLAUS.
Mathematical Structures in Computer Science. 20 (2010) 2 - p. 105-106 , 2010

Link: https://doi.org/10.1017/..

12

Bicontinuous Domains and Some Old Problems in Domain Theory:

Keimel, Klaus
Electronic Notes in Theoretical Computer Science. 257 (2009) - p. 35-54 , 2009

Link: https://doi.org/10.1016/..

13

Preface:

Ershov, Yuri L. ; Keimel, Klaus ; Kohlenbach, Ulrich.
Annals of Pure and Applied Logic. 159 (2009) 3 - p. 249-250 , 2009

Link: https://doi.org/10.1016/..

14

D-completions and thed-topology:

Keimel, Klaus ; Lawson, Jimmie D.
Annals of Pure and Applied Logic. 159 (2009) 3 - p. 292-306 , 2009

Link: https://doi.org/10.1016/..

15

Semantic Domains for Combining Probability and Non-Determin..:

Tix, Regina ; Keimel, Klaus ; Plotkin, Gordon
Electronic Notes in Theoretical Computer Science. 222 (2009) - p. 3-99 , 2009

Link: https://doi.org/10.1016/..