Variable Side Conditions and Greatest Relations in Algebraic Separation Logic.
Han-Hing DangPeter HöfnerPublished in: RAMiCS (2011)
Keyphrases
- algebraic structure
- sufficient conditions
- modal logic
- closed world assumptions
- observed variables
- semantic relations
- logic programming
- relation algebra
- higher order
- computer algebra
- algebraic operators
- horn clauses
- logical formulas
- mathematical theory
- predicate logic
- truth values
- algebraic structures
- formal logic
- proof theory
- relational structures
- asynchronous circuits
- real time
- computational properties
- multi valued
- automated reasoning
- environmental conditions
- logic programs
- knowledge representation
- databases