Automated mutual induction proof in separation logic.
Quang-Trung TaTon Chanh LeSiau-Cheng KhooWei-Ngan ChinPublished in: Formal Aspects Comput. (2019)
Keyphrases
- proof search
- linear logic
- proof planning
- proof theory
- natural deduction
- theorem prover
- inference rules
- theorem proving
- proof theoretic
- automated theorem provers
- cut elimination
- computer algebra
- sequent calculus
- intuitionistic logic
- semi automated
- automated theorem proving
- logical rules
- neural network
- higher order logic
- fully automated
- inductive logic programming
- data sets
- program synthesis
- proof procedure
- classical logic
- default reasoning
- predicate logic
- digital circuits
- automated analysis
- rule induction
- concept learning
- inductive learning
- modal logic
- logic programming
- machine learning