| No. |
Title |
Author |
Year |
| 1 |
04351 Abstracts Collection -- Spatial Representation: Discrete vs. Continuous Computational Models |
Kopperman, Ralph et al. |
2005 |
| 2 |
04351 Summary -- Spatial Representation: Discrete vs. Continuous Computational Models |
Kopperman, Ralph et al. |
2005 |
| 3 |
A Cartesian Closed Extension of the Category of Locales |
Heckmann, Reinhold |
2005 |
| 4 |
A Category of Discrete Closure Spaces |
Pfaltz, John L. |
2005 |
| 5 |
A domain of spacetime intervals in general relativity |
Martin, Keye et al. |
2005 |
| 6 |
A geometry of information, I: Nerves, posets and differential forms |
Gratus, Jonathan et al. |
2005 |
| 7 |
A geometry of information, II: Sorkin models, and biextensional collapses |
Gratus, Jonathan et al. |
2005 |
| 8 |
Auxiliary relations and sandwich theorems |
God, Chris et al. |
2005 |
| 9 |
Compactness in apartness spaces? |
Bridges, Douglas et al. |
2005 |
| 10 |
Continued Radicals |
Johnson, Jamie et al. |
2005 |
| 11 |
Continuous Semantics for Termination Proofs |
Berger, Ulrich |
2005 |
| 12 |
Deadlocks and Dihomotopy in Mutual Exclusion Models |
Raussen, Martin |
2005 |
| 13 |
Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again |
Fajstrup, Lisbeth |
2005 |
| 14 |
Discrete classical vs. continuous quantum data in abstract quantum mechanics |
Abramsky, Samson et al. |
2005 |
| 15 |
Dyadic Subbases and Representations of Topological Spaces |
Tsuiki, Hideki |
2005 |
| 16 |
Integrating Topology and Geometry for Macro-Molecular Simulations |
Moore, Edward L. F. et al. |
2005 |
| 17 |
On Maximality of Compact Topologies |
Kovar, Martin |
2005 |
| 18 |
The Construction of Finer Compact Topologies |
Künzi, Hans-Peter A. et al. |
2005 |
| 19 |
The de Groot dual for general collections of sets |
Kovar, Martin |
2005 |
| 20 |
The Hofmann-Mislove Theorem for general posets |
Kovar, Martin |
2005 |
