scientific article; zbMATH DE number 914131

zbMATH Open0853.68152MaRDI QIDQ4889844FDOQ4889844

Authors: Birgit Heinz 

Publication date: 6 August 1996

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

Recommendations

• A modular order-sorted equational generalization algorithm
• A library of anti-unification algorithms
• E-generalization using grammars
• Higher-order equational pattern anti-unification
• Higher-order pattern generalization modulo equational theories

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)

• On the generation of quantified lemmas
• Heuristic-driven theory projection: an overview
• Variant-based equational anti-unification
• Title not available (Why is that?)

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)