Unification under associativity and idempotence is of type nullary

DOI10.1007/BF02328450zbMath0626.68069MaRDI QIDQ580999

Manfred Schmidt-Schauss

Publication date: 1986

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

theorem provingbandsequational theoryfree idempotent semigroupsunification type zero

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07)

Related Items (16)

Unification in partially commutative semigroups ⋮ Unification in varieties of idempotent semigroups ⋮ Characterizations of unification type zero ⋮ A note on unification type zero ⋮ The undecidability of the D_A-unification problem ⋮ Unification in varieties of completely regular semigroups ⋮ Anti-unification and the theory of semirings ⋮ The unification hierarchy is undecidable ⋮ What Is Essential Unification? ⋮ Unification theory ⋮ Hilbert's tenth problem is of unification type zero ⋮ Essential unifiers ⋮ Unification in a combination of arbitrary disjoint equational theories ⋮ Schematization of infinite sets of rewrite rules generated by divergent completion processes ⋮ Unification problem in equational theories ⋮ On equational theories, unification, and (un)decidability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Unification under associativity and idempotence is of type nullary