Login / Signup
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