From Hyperedge Replacement to Separation Logic and Back.
Mike DoddsDetlef PlumpPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2008)
Keyphrases
- sound and complete axiomatization
- predicate logic
- classical logic
- logic programming
- modal logic
- artificial intelligence
- proof theory
- automated reasoning
- image segmentation
- multi valued
- logical framework
- relational databases
- computational properties
- defeasible logic
- database systems
- truth values
- asynchronous circuits
- linear temporal logic
- genetic algorithm