Behavioral and Spatial Observations in a Logic for the pi-Calculus.
Luís CairesPublished in: FoSSaCS (2004)
Keyphrases
- spatial information
- computer algebra
- spatial data
- algebraic structure
- spatial relationships
- spatial and temporal
- logic programming
- proof procedure
- formal language
- computational properties
- spatial reasoning
- spatio temporal
- spatial features
- modal logic
- automated theorem proving
- multi valued
- proof theoretic
- transition systems
- sequent calculus
- space time
- natural deduction
- qualitative spatial reasoning
- predicate logic
- theorem proving
- spatial distribution
- interval algebra
- cut elimination
- linear time temporal logic