Matching - a special case of unification?

DOI10.1016/S0747-7171(89)80057-4MaRDI QIDQ582272zbMATH OpenOpenAlexFDO

Authors Hans-Jürgen Bürckert

Publication date 1989

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

Full work available at URL https://doi.org/10.1016/s0747-7171(89)80057-4

zbMATH Keywords

matchingdecidabilityequational theorycollapse-free theoriesvariable-restricted unification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Some results on equational unification
• The undecidability of the unification and matching problem for canonical theories
• Single versus simultaneous equational unification and equational unification for variable-permuting theories
• Combining decision algorithms for matching in the union of disjoint equational theories
• Complete sets of unifiers and matchers in equational theories

Cites work

• scientific article; zbMATH DE number 4018416 (Why is no real title available?)
• scientific article; zbMATH DE number 3843132 (Why is no real title available?)
• scientific article; zbMATH DE number 3867289 (Why is no real title available?)
• scientific article; zbMATH DE number 3871321 (Why is no real title available?)
• scientific article; zbMATH DE number 4155934 (Why is no real title available?)
• scientific article; zbMATH DE number 3945372 (Why is no real title available?)
• scientific article; zbMATH DE number 4041328 (Why is no real title available?)
• scientific article; zbMATH DE number 4049024 (Why is no real title available?)
• scientific article; zbMATH DE number 4049126 (Why is no real title available?)
• scientific article; zbMATH DE number 4049128 (Why is no real title available?)
• scientific article; zbMATH DE number 4049130 (Why is no real title available?)
• scientific article; zbMATH DE number 4049131 (Why is no real title available?)
• scientific article; zbMATH DE number 4080961 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• scientific article; zbMATH DE number 3019695 (Why is no real title available?)
• Complete sets of unifiers and matchers in equational theories
• Equational problems and disunification

Cited in

(14)

• Competing for the \(AC\)-unification race
• scientific article; zbMATH DE number 4085639 (Why is no real title available?)
• Complexity of nilpotent unification and matching problems.
• Unification in a combination of equational theories: an efficient algorithm
• Modular higher-order E-unification
• Complete sets of unifiers and matchers in equational theories
• Combining matching algorithms: The regular case
• Unification of concept terms in description logics
• Reduction rules for resolution-based systems
• Tractable and intractable second-order matching problems
• Equational unification, word unification, and 2nd-order equational unification
• Some independence results for equational unification
• scientific article; zbMATH DE number 1722712 (Why is no real title available?)
• Unification in a combination of arbitrary disjoint equational theories

This page was built for publication: Matching - a special case of unification?

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