Elimination of quantifiers and undecidability in spatial logics for concurrency.
Luís CairesÉtienne LozesPublished in: Theor. Comput. Sci. (2006)
Keyphrases
- spatio temporal
- spatial information
- spatial and temporal
- spatial data
- expressive power
- modal logic
- description logics
- spatial distribution
- neural network
- spatial structure
- spatial reasoning
- spatial databases
- number restrictions
- data sets
- geographic information systems
- spatial relations
- concurrency control
- natural language
- data structure
- databases