scientific article
From MaRDI portal
Publication:3725540
zbMath0594.68036MaRDI QIDQ3725540
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (17)
Inductive theorem proving by consistency for first-order clauses ⋮ Conditional rewriting in focus ⋮ Proof by consistency in conditional equational theories ⋮ Extending Bachmair's method for proof by consistency to the final algebra ⋮ Inductive proofs by specification transformations ⋮ Rewriting techniques for program synthesis ⋮ On relationship between term rewriting systems and regular tree languages ⋮ A recursion planning analysis of inductive completion ⋮ On ground-confluence of term rewriting systems ⋮ Narrowing based procedures for equational disunification ⋮ Testing for the ground (co-)reducibility property in term-rewriting systems ⋮ Mechanizable inductive proofs for a class of ∀ ∃ formulas ⋮ On the connection between narrowing and proof by consistency ⋮ Automating inductionless induction using test sets ⋮ Automatic proofs by induction in theories without constructors ⋮ Inductive proof search modulo ⋮ Induction = I-axiomatization + first-order consistency.
This page was built for publication:
