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
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.
