Algebraic separation logic.
Han-Hing DangPeter HöfnerBernhard MöllerPublished in: J. Log. Algebraic Methods Program. (2011)
Keyphrases
- sets of probability measures
- computer algebra
- algebraic structure
- modal logic
- higher order
- predicate logic
- nonmonotonic logics
- computational properties
- asynchronous circuits
- database
- classical logic
- probabilistic logic
- information systems
- digital circuits
- linear algebra
- truth values
- deontic logic
- multi valued
- image processing
- knowledge base