scientific article; zbMATH DE number 1149426

zbMATH Open0900.68383MaRDI QIDQ4386948FDOQ4386948

Author name not available (Why is that?)

Publication date: 11 May 1998

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Cited In (7)

• Sound generalizations in mathematical induction
• Attacking group protocols by refuting incorrect inductive conjectures
• Lemma discovery in automating induction
• Perfect Discrimination Graphs: Indexing Terms with Integer Exponents
• Correctness of Context-Moving Transformations for Term Rewriting Systems
• Appropriate lemmae discovery
• Verifying Procedural Programs via Constrained Rewriting Induction

Uses Software

• SPIKE

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 Q4386948)