Characterizations of unification type zero

DOI10.1007/3-540-51081-8_96zbMath1503.03012OpenAlexW1599633992MaRDI QIDQ5055707

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)

Related Items (5)

Unification, weak unification, upper bound, lower bound, and generalization problems ⋮ Unification, finite duality and projectivity in varieties of Heyting algebras ⋮ Unification properties of commutative theories: A categorical treatment ⋮ Unification in varieties of completely regular semigroups ⋮ Unification in Boolean rings and Abelian groups

Cites Work

• Unification under associativity and idempotence is of type nullary
• The theory of idempotent semigroups is of unification type zero
• Unification in varieties of idempotent semigroups
• A note on unification type zero
• Complete sets of unifiers and matchers in equational theories
• Unnamed Item
• Unnamed Item
• Unnamed Item

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