Volume 405,
Numbers 1-2,
October 2008
Computational Structures for Modelling Space,
Time and Causality
Contributions
- Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta:
Apartness, compactness and nearness.
3-10
- Francesco Ciraulo, Giovanni Sambin:
Finitary formal topologies and Stone's representation theorem.
11-23
- K. A. Hardie, P. J. Witbooi:
Finite relational structure models of topological spaces and maps.
24-34
- Fangping Huang, Jihua Liang:
On computational environments of topological spaces.
35-40
- K. E. Jordan, Lance Edward Miller, Edward L. F. Moore, Thomas J. Peters, Alexander Russell:
Modeling time and topology for animation and visualization with examples on parametric geometry.
41-49
- Vladik Kreinovich, Olga Kosheleva:
Computational complexity of determining which statements about causality hold in different space-time models.
50-63
- Hans-Peter A. Künzi, Vladik Kreinovich:
Static space-times naturally lead to quasi-pseudometrics.
64-72
- Jimmie D. Lawson:
Metric spaces and FS-domains.
73-74
- Keye Martin:
Topology in information theory in topology.
75-87
- Timothy Porter:
Enriched categories and models for spaces of evolving states.
88-100
- Peter Schuster:
The Zariski spectrum as a formal geometry.
101-115
- Victor L. Selivanov:
Fine hierarchies and m-reducibilities in theoretical computer science.
116-163
- Josef Slapal:
A quotient-universal digital topology.
164-175
- Dieter Spreen, Luoshan Xu, Xuxin Mao:
Information systems revisited - the general continuous case.
176-187
- Sumati Surya:
Causal set topology.
188-197
- Hideki Tsuiki, Yasunao Hattori:
Lawson topology of the space of formal balls and the hyperbolic topology.
198-205
Volume 405,
Number 3,
October 2008
Algorithmic Learning Theory
Contributions
Copyright © Fri Mar 12 17:33:14 2010
by Michael Ley (ley@uni-trier.de)
