Towards Algebraic Separation Logic.
Han-Hing DangPeter HöfnerBernhard MöllerPublished in: RelMiCS (2009)
Keyphrases
- sets of probability measures
- computer algebra
- algebraic structure
- modal logic
- classical logic
- logic programming
- mathematical theory
- programming language
- automated reasoning
- defeasible logic
- hidden markov models
- multi valued
- linear algebra
- artificial intelligence
- set theory
- deductive reasoning
- algebraic operators
- search algorithm