Characterizations of unification type zero

DOI10.1007/3-540-51081-8_96MaRDI QIDQ5055707zbMATH OpenOpenAlexFDO

Authors Franz Baader

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-51081-8_96

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Recommendations

• A note on unification type zero
• The theory of idempotent semigroups is of unification type zero
• Unification under associativity and idempotence is of type nullary
• Unification in commutative theories
• Unification properties of commutative theories: a categorical treatment

Cites work

• A note on unification type zero
• Complete sets of unifiers and matchers in equational theories
• scientific article; zbMATH DE number 3867289 (Why is no real title available?)
• scientific article; zbMATH DE number 4041328 (Why is no real title available?)
• scientific article; zbMATH DE number 3413831 (Why is no real title available?)
• The theory of idempotent semigroups is of unification type zero
• Unification in varieties of idempotent semigroups
• Unification under associativity and idempotence is of type nullary

Cited in

(7)

• A note on unification type zero
• Character expansions and unrefined minimal K -types
• Unification, weak unification, upper bound, lower bound, and generalization problems
• Unification properties of commutative theories: a categorical treatment
• Unification in Boolean rings and Abelian groups
• Unification, finite duality and projectivity in varieties of Heyting algebras
• Unification in varieties of completely regular semigroups

This page was built for publication: Characterizations of unification type zero

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