|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
15 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes |
Kwiatkowska, Marta |
1998 |
13 | C |
p. 182- 1 p. |
article |
|
| 2 | An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets |
Edalat, Abbas |
1998 |
13 | C |
p. 31-40 10 p. |
article |
|
| 3 | An extension result for continuous valuations |
Alvarez-Manilla, M. |
1998 |
13 | C |
p. 2-11 10 p. |
article |
|
| 4 | Bi-continuous Valuations |
Keimel, Klaus |
1998 |
13 | C |
p. 119-123 5 p. |
article |
|
| 5 | Big Integers and Complexity Issues in Exact Real Arithmetic |
Heckmann, Reinhold |
1998 |
13 | C |
p. 69- 1 p. |
article |
|
| 6 | Computing with Exact Real Numbers in a Radix-r System |
Kaganovsky, Alexander |
1998 |
13 | C |
p. 92-118 27 p. |
article |
|
| 7 | Domain representations of topological spaces(Extended abstract) |
Blanck, Jens |
1998 |
13 | C |
p. 12-30 19 p. |
article |
|
| 8 | Domain theoretic models of topological spaces |
Martin, Keye |
1998 |
13 | C |
p. 173-181 9 p. |
article |
|
| 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. |
article |
|
| 10 | Preface |
Edalat, Abbas |
1998 |
13 | C |
p. 1- 1 p. |
article |
|
| 11 | Proof theory and computational analysis |
Kohlenbach, Ulrich |
1998 |
13 | C |
p. 124-157 34 p. |
article |
|
| 12 | Right Kan spaces and essentially complete T0-spaces |
Erker, Thomas |
1998 |
13 | C |
p. 41-52 12 p. |
article |
|
| 13 | Spaces of valuations as quasimetric domains |
Sünderhauf, Philipp |
1998 |
13 | C |
p. 183-196 14 p. |
article |
|
| 14 | The Troublesome Probabilistic Powerdomain |
Jung, Achim |
1998 |
13 | C |
p. 70-91 22 p. |
article |
|
| 15 | The Upper Interval Topology, Property M, and Compactness |
Lawson, Jimmie |
1998 |
13 | C |
p. 158-172 15 p. |
article |
15 results found