Sciweavers

TIME
2008
IEEE

Moving Spaces

14 years 4 months ago
Moving Spaces
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.
Ivo Düntsch, Michael Winter
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where TIME
Authors Ivo Düntsch, Michael Winter
Comments (0)