-
1
Weak upper topologies and duality for cones
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
2
Mixed powerdomains for probability and nondeterminism
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
3
The Cuntz semigroup and domain theory
Veröffentlicht in Soft computing (Berlin, Germany)
VolltextArtikel -
4
Observationally-induced algebras in Domain Theory
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
5
Healthiness Conditions for Predicate Transformers
Veröffentlicht in Electronic notes in theoretical computer science
VolltextArtikel -
6
Weak topologies and compactness in asymmetric functional analysis
Veröffentlicht in Topology and its applications
VolltextArtikel -
7
-
8
D -completions and the d -topology
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
9
-
10
Extending algebraic operations to D-completions
Veröffentlicht in Theoretical computer science
VolltextArtikel -
11
Topological cones: functional analysis in a T0-setting
Veröffentlicht in Semigroup forum
VolltextArtikel -
12
Quasicontinuous Domains and the Smyth Powerdomain
Veröffentlicht in Electronic notes in theoretical computer science
VolltextArtikel -
13
-
14
Observationally-induced Algebras in Domain Theory
Veröffentlicht in Electronic notes in theoretical computer science
VolltextArtikel -
15
Domain Theory its Ramifications and Interactions
Veröffentlicht in Electronic notes in theoretical computer science
VolltextArtikel -
16
-
17
-
18
Projective topology on bifinite domains and applications
Veröffentlicht in Theoretical computer science
VolltextArtikel -
19
Choquet–Kendall–Matheron theorems for non-Hausdorff spaces
Veröffentlicht in Mathematical structures in computer science
VolltextArtikel -
20
Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic
Veröffentlicht in Forum mathematicum
VolltextArtikel