scientific article; zbMATH DE number 914131

zbMATH Open0853.68152MaRDI QIDQ4889844FDOQ4889844

Birgit Heinz

Publication date: 6 August 1996

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

zbMATH Keywords

automated reasoninganti-unificationinduction theorem proving

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Cited In (4)

• Heuristic-Driven Theory Projection: An Overview
• On the generation of quantified lemmas
• Variant-based equational anti-unification
• Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• A modular order-sorted equational generalization algorithm 👍 👎
• E-generalization using grammars 👍 👎
• A Library of Anti-unification Algorithms 👍 👎
• Higher-order pattern generalization modulo equational theories 👍 👎

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