A Complete Axiomatisation for Quantifier-Free Separation Logic.
Stéphane DemriÉtienne LozesAlessio MansuttiPublished in: Log. Methods Comput. Sci. (2021)
Keyphrases
- np hard
- quantifier free
- rewrite systems
- quantifier elimination
- first order logic
- modal logic
- np complete
- real numbers
- inference rules
- term rewriting
- relational data model
- functional dependencies
- active rules
- database
- logic programming
- computational properties
- functional programming
- theorem proving
- expressive power
- knowledge representation