default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl 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.
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.
last updated on 2025-01-09 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
