Dagstuhl Seminar Proceedings:
Spatial Representation 2005
Ralph Kopperman, Michael B. Smyth, Dieter Spreen, Julian Webster (Eds.):
Spatial Representation: Discrete vs. Continuous Computational Models.
Dagstuhl Seminar Proceedings 04351 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany/IBFI, Schloss Dagstuhl, Germany 2005 BibTeX
- Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster:
04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models.
Electronic Edition (link) BibTeX
- Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta:
Compactness in apartness spaces?
Electronic Edition (link) BibTeX
- Martin Kovar:
On Maximality of Compact Topologies.
Electronic Edition (link) BibTeX
- Martin Kovar:
The Hofmann-Mislove Theorem for general posets.
Electronic Edition (link) BibTeX
- Martin Kovar:
The Hofmann-Mislove Theorem for general topological structures.
Electronic Edition (link) BibTeX
- Martin Kovar:
The de Groot dual for general collections of sets.
Electronic Edition (link) BibTeX
- Hans-Peter A. Künzi, Dominic van der Zypen:
The Construction of Finer Compact Topologies.
Electronic Edition (link) BibTeX
- Ralph Kopperman, Steve Matthews, Homeira Pajoohesh:
What do partial metrics represent?
Electronic Edition (link) BibTeX
- John L. Pfaltz:
A Category of Discrete Closure Spaces.
Electronic Edition (link) BibTeX
- Jonathan Gratus, Timothy Porter:
A geometry of information, I: Nerves, posets and differential forms.
Electronic Edition (link) BibTeX
- Jonathan Gratus, Timothy Porter:
A geometry of information, II: Sorkin models, and biextensional collapses.
Electronic Edition (link) BibTeX
- Jamie Johnson, Tom Richmond:
Continued Radicals.
Electronic Edition (link) BibTeX
- Ulrich Berger:
Continuous Semantics for Termination Proofs.
Electronic Edition (link) BibTeX
- Samson Abramsky, Bob Coecke:
Discrete classical vs. continuous quantum data in abstract quantum mechanics.
Electronic Edition (link) BibTeX
- Lisbeth Fajstrup:
Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again.
Electronic Edition (link) BibTeX
- Reinhold Heckmann:
A Cartesian Closed Extension of the Category of Locales.
Electronic Edition (link) BibTeX
- Chris God, Achim Jung, Robin Knight, Ralph Kopperman:
Auxiliary relations and sandwich theorems.
Electronic Edition (link) BibTeX
- Martin Raussen:
Deadlocks and Dihomotopy in Mutual Exclusion Models.
Electronic Edition (link) BibTeX
- Keye Martin, Prakash Panangaden:
A domain of spacetime intervals in general relativity.
Electronic Edition (link) BibTeX
- Hideki Tsuiki:
Dyadic Subbases and Representations of Topological Spaces.
Electronic Edition (link) BibTeX
- Edward L. F. Moore, Thomas J. Peters, David R. Ferguson, Neil F. Stewart:
Integrating Topology and Geometry for Macro-Molecular Simulations.
Electronic Edition (link) BibTeX
- Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster:
04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models.
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:04:52 2009
by Michael Ley (ley@uni-trier.de)