A Complete Axiomatisation for Quantifier-Free Separation Logic.
Stéphane DemriÉtienne LozesAlessio MansuttiPublished in: CoRR (2020)
Keyphrases
- quantifier free
- rewrite systems
- quantifier elimination
- first order logic
- modal logic
- inference rules
- real numbers
- term rewriting
- constraint propagation
- cardinality constraints
- expressive power
- functional dependencies
- functional programming
- logic programming
- constraint satisfaction
- learning algorithm
- orders of magnitude