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