scientific article; zbMATH DE number 4043300

zbMATH Open0639.68097MaRDI QIDQ3780487FDOQ3780487

Authors: Guangkun Hou, Yang Xia 

Publication date: 1987

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

Recommendations

• scientific article; zbMATH DE number 4074540
• Extensions of unification modulo ACUI
• Unification in abelian semigroups
• Associative-commutative unification
• Complexity of unification problems with associative-commutative operators

zbMATH Keywords

automatic theorem provingunificationassociative and commutative laws

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (4)

• Title not available (Why is that?)
• A technical note on AC-unification. The number of minimal unifiers of the equation \(\alpha x_ 1+ \cdots + \alpha x_ p \doteq _{AC} \beta y_ 1+ \cdots + \beta y_ q\)
• Competing for the \(AC\)-unification race
• AC-complete unification and its application to theorem proving

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