scientific article; zbMATH DE number 3956434
From MaRDI portal
Publication:3725540
Recommendations
Cited in
(32)- Inductive theorem proving by consistency for first-order clauses
- Strong forward induction
- Term rewriting induction
- The strength of sharply bounded induction requires MSP
- Inductive completion with retracts
- Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation
- Higher-order proof by consistency
- UNICOM: A refined completion based inductive theorem prover
- scientific article; zbMATH DE number 1389652 (Why is no real title available?)
- Testing for the ground (co-)reducibility property in term-rewriting systems
- scientific article; zbMATH DE number 3891336 (Why is no real title available?)
- Proving equational and inductive theorems by completion and embedding techniques
- On ground-confluence of term rewriting systems
- scientific article; zbMATH DE number 4090851 (Why is no real title available?)
- Rewriting techniques for program synthesis
- Automatic proofs by induction in theories without constructors
- Induction = I-axiomatization + first-order consistency.
- Automating inductionless induction using test sets
- Inductive proof search modulo
- Narrowing based procedures for equational disunification
- Extending Bachmair's method for proof by consistency to the final algebra
- Proof by consistency in conditional equational theories
- Completeness and decidability results for first-order clauses with indices
- A recursion planning analysis of inductive completion
- Induction using term orderings
- Completion procedures as semidecision procedures
- On the connection between narrowing and proof by consistency
- Mechanizable inductive proofs for a class of \(\forall \exists\) formulas
- A strong restriction of the inductive completion procedure
- Inductive proofs by specification transformations
- On relationship between term rewriting systems and regular tree languages
- Conditional rewriting in focus
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3725540)
