scientific article; zbMATH DE number 1324445

zbMath0925.03053MaRDI QIDQ4255517

Christoph Walther

Publication date: 16 August 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Rule-based induction ⋮ Proving theorems by reuse ⋮ Patching faulty conjectures ⋮ Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion ⋮ Lazy generation of induction hypotheses