scientific article; zbMATH DE number 3956434
From MaRDI portal
Publication:3725540
zbMATH Open0594.68036MaRDI QIDQ3725540FDOQ3725540
Authors: Laurent Fribourg 
Publication date: 1986
Title of this publication is not available (Why is that?)
Recommendations
Cited In (32)
- Term rewriting induction
- Strong forward induction
- Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation
- Inductive completion with retracts
- The strength of sharply bounded induction requires MSP
- Higher-order proof by consistency
- UNICOM: A refined completion based inductive theorem prover
- Title not available (Why is that?)
- Testing for the ground (co-)reducibility property in term-rewriting systems
- Title not available (Why is that?)
- Proving equational and inductive theorems by completion and embedding techniques
- On ground-confluence of term rewriting systems
- Title not available (Why is that?)
- 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
- Inductive proofs by specification transformations
- On relationship between term rewriting systems and regular tree languages
- Conditional rewriting in focus
- A strong restriction of the inductive completion procedure
- Inductive theorem proving by consistency for first-order clauses
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)
