|
22
|
Power Domain Constructions
– Reinhold Heckmann
- 1998
|
|
13
|
Power Domains and Second Order Predicates
– Reinhold Heckmann
- 1993
|
|
3
|
Power Domains Supporting Recursion and Failure
– Reinhold Heckmann, Bundesrepublik Deutschland
- 1998
|
|
4
|
An Upper Power Domain Construction in terms of Strongly Compact Sets
– Reinhold Heckmann
- 1998
|
|
4
|
Observable Modules and Power Domain Constructions
– Reinhold Heckmann
- 1993
|
|
7
|
Coherence and Consistency in Domains
– Carl A. Gunter, Achim Jung, Technische Hochschule Darmstadt
- 1990
|
|
|
The Largest Cartesian Closed Category of Domains, Considered Constructively
– Dieter Spreen
- 2000
|
|
2
|
Natural Semantics for Non-Determinism
– Andrew Moran
- 1993
|
|
8
|
Making Choices Lazily
– John Hughes, Andrew Moran
- 1995
|
|
136
|
Semantic Domains
– C. A. Gunter, D. S. Scott
- 1990
|
|
12
|
A domain equation for refinement of partial systems
– Michael R. A. Huth, Radha Jagadeesan, David A. Schmidt
|
|
3
|
Information Categories
– Abbas Edalat, Michael B. Smyth
- 1991
|
|
|
Topology in Computer Science Problems
– D. Spreen, H. Schulz (eds.), Edited D. Spreen, H. Schulz, Sent In Michael Bukatin
- 2000
|
|
|
An Old Problem From Domain Theory Stated in Quasi-Uniform Terms
– Philipp Sünderhauf
- 2000
|
|
3
|
Domains with Approximating Projections
– Ralph Kummetz
- 1999
|
|
1
|
Posets with Projections and their Morphisms
– Ralph Kummetz
- 1999
|
|
12
|
Universal Profinite Domains
– Carl A. Gunter
- 1987
|
|
3
|
The Largest Cartesian Closed Category of Stable Domains
– Guo-qiang Zhang
|
|
6
|
Disjunctive Systems and L-Domains
– Guo-qiang Zhang
- 1992
|
