Moving Spaces

@article{Dntsch2008MovingS,
  title={Moving Spaces},
  author={Ivo D{\"u}ntsch and Michael Winter},
  journal={2008 15th International Symposium on Temporal Representation and Reasoning},
  year={2008},
  pages={59-63}
}
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed contact structures. We study their canonical models using topological spaces. As the main contribution we prove a general representation theorem for this kind of algebras. 

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…