Automated Theorem Proving for Assertions in Separation Logic with All Connectives.

Zhe Hou Rajeev Goré Alwen Tiu

Published in: CADE (2015)

Keyphrases

automated theorem proving
classical logic
theorem prover
theorem proving
inference rules
modal logic
logic programming
valued logic
knowledge base
answer set programming
automated reasoning
first order logic
natural deduction
relational databases
default logic