![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Dagstuhl Seminar Proceedings: Spatial Representation 2005
- Ralph Kopperman, Michael B. Smyth, Dieter Spreen, Julian Webster:
Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings 04351, IBFI, Schloss Dagstuhl, Germany 2005 - Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster:
04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models. - Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta:
Compactness in apartness spaces? - Martin Kovár:
On Maximality of Compact Topologies. - Martin Kovár:
The Hofmann-Mislove Theorem for general posets. - Martin Kovár:
The Hofmann-Mislove Theorem for general topological structures. - Martin Kovár:
The de Groot dual for general collections of sets. - Hans-Peter A. Künzi, Dominic van der Zypen:
The Construction of Finer Compact Topologies. - Ralph Kopperman, Steve Matthews, Homeira Pajoohesh:
What do partial metrics represent? - John L. Pfaltz:
A Category of Discrete Closure Spaces. - Jonathan Gratus, Timothy Porter:
A geometry of information, I: Nerves, posets and differential forms. - Jonathan Gratus, Timothy Porter:
A geometry of information, II: Sorkin models, and biextensional collapses. - Jamie Johnson, Tom Richmond:
Continued Radicals. - Ulrich Berger:
Continuous Semantics for Termination Proofs. - Samson Abramsky, Bob Coecke:
Discrete classical vs. continuous quantum data in abstract quantum mechanics. - Lisbeth Fajstrup:
Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again. - Reinhold Heckmann:
A Cartesian Closed Extension of the Category of Locales. - Chris Good, Achim Jung, Robin W. Knight, Ralph Kopperman:
Auxiliary relations and sandwich theorems. - Martin Raussen:
Deadlocks and Dihomotopy in Mutual Exclusion Models. - Keye Martin, Prakash Panangaden:
A domain of spacetime intervals in general relativity. - Hideki Tsuiki:
Dyadic Subbases and Representations of Topological Spaces. - Edward L. F. Moore, Thomas J. Peters, David R. Ferguson, Neil F. Stewart:
Integrating Topology and Geometry for Macro-Molecular Simulations. - Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster:
04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models.
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.