Term Rewriting in Contemporary Resolution Theorem Proving (Abstract).
Mark E. StickelPublished in: RTA (1995)
Keyphrases
- term rewriting
- theorem proving
- consequence finding
- theorem prover
- automated deduction
- first order logic
- inference rules
- decision procedures
- rewrite systems
- automated reasoning
- knuth bendix
- proof planning
- proof procedure
- automatic programming
- automated theorem proving
- parallel search
- geometry theorem proving
- predicate calculus
- combinatorial search
- logical inference
- databases
- relational databases
- multi agent