nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
|
Kwiatkowska, Marta |
|
1998 |
13 |
C |
p. 182- 1 p. |
artikel |
2 |
An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets
|
Edalat, Abbas |
|
1998 |
13 |
C |
p. 31-40 10 p. |
artikel |
3 |
An extension result for continuous valuations
|
Alvarez-Manilla, M. |
|
1998 |
13 |
C |
p. 2-11 10 p. |
artikel |
4 |
Bi-continuous Valuations
|
Keimel, Klaus |
|
1998 |
13 |
C |
p. 119-123 5 p. |
artikel |
5 |
Big Integers and Complexity Issues in Exact Real Arithmetic
|
Heckmann, Reinhold |
|
1998 |
13 |
C |
p. 69- 1 p. |
artikel |
6 |
Computing with Exact Real Numbers in a Radix-r System
|
Kaganovsky, Alexander |
|
1998 |
13 |
C |
p. 92-118 27 p. |
artikel |
7 |
Domain representations of topological spaces(Extended abstract)
|
Blanck, Jens |
|
1998 |
13 |
C |
p. 12-30 19 p. |
artikel |
8 |
Domain theoretic models of topological spaces
|
Martin, Keye |
|
1998 |
13 |
C |
p. 173-181 9 p. |
artikel |
9 |
Effective and sequential definition by cases on the reals via infinite signed-digit numerals
|
Hötzel Escardó, Martín |
|
1998 |
13 |
C |
p. 53-68 16 p. |
artikel |
10 |
Preface
|
Edalat, Abbas |
|
1998 |
13 |
C |
p. 1- 1 p. |
artikel |
11 |
Proof theory and computational analysis
|
Kohlenbach, Ulrich |
|
1998 |
13 |
C |
p. 124-157 34 p. |
artikel |
12 |
Right Kan spaces and essentially complete T0-spaces
|
Erker, Thomas |
|
1998 |
13 |
C |
p. 41-52 12 p. |
artikel |
13 |
Spaces of valuations as quasimetric domains
|
Sünderhauf, Philipp |
|
1998 |
13 |
C |
p. 183-196 14 p. |
artikel |
14 |
The Troublesome Probabilistic Powerdomain
|
Jung, Achim |
|
1998 |
13 |
C |
p. 70-91 22 p. |
artikel |
15 |
The Upper Interval Topology, Property M, and Compactness
|
Lawson, Jimmie |
|
1998 |
13 |
C |
p. 158-172 15 p. |
artikel |