An improved general E-unification method

DOI10.1016/0747-7171(92)90010-2MaRDI QIDQ1201347zbMATH OpenOpenAlexFDO

Authors Daniel J. Dougherty, Patricia Johann

Publication date 17 January 1993

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0747-7171(92)90010-2

zbMATH Keywords

paramodulation

Mathematics Subject Classification ID

Recommendations

• An improved general E-unification method
• A refined version of general \(E\)-unification
• Improving transformation systems for general E-unification
• scientific article; zbMATH DE number 4045129
• scientific article; zbMATH DE number 1722709

Cites work

• An Efficient Unification Algorithm
• An improved general E-unification method
• Complete sets of transformations for general E-unification
• Complete sets of unifiers and matchers in equational theories
• scientific article; zbMATH DE number 3871334 (Why is no real title available?)
• scientific article; zbMATH DE number 3970817 (Why is no real title available?)
• scientific article; zbMATH DE number 3688776 (Why is no real title available?)
• scientific article; zbMATH DE number 3784848 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 3349331 (Why is no real title available?)
• scientific article; zbMATH DE number 3413831 (Why is no real title available?)

Cited in

(11)

• E-generalization using grammars
• General E-unification with eager variable elimination and a nice cycle rule
• scientific article; zbMATH DE number 1722709 (Why is no real title available?)
• scientific article; zbMATH DE number 4045129 (Why is no real title available?)
• scientific article; zbMATH DE number 2044516 (Why is no real title available?)
• Efficient general AGH-unification
• Improving transformation systems for general E-unification
• A refined version of general \(E\)-unification
• A new approach to general E-unification based on conditional rewriting systems
• Characterizing functions mappable over GADTs
• An improved general E-unification method

This page was built for publication: An improved general \(E\)-unification method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1201347)