The theory of idempotent semigroups is of unification type zero

DOI10.1007/BF02328451zbMath0626.68070MaRDI QIDQ581000

Franz Baader

Publication date: 1986

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

zbMATH Keywords

term rewriting systemsequational theorytheory of idempotent semigroupsunification type zero

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07)

Related Items

Unification in partially commutative semigroups, Unification in varieties of idempotent semigroups, Characterizations of unification type zero, A note on unification type zero, Unification in commutative idempotent monoids, 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, Unification problem in equational theories, On equational theories, unification, and (un)decidability, A formalisation of nominal C-matching through unification with protected variables, Formalising nominal C-unification generalised with protected variables

Cites Work

• The structure of idempotent semigroups. I
• A Noetherian and confluent rewrite system for idempotent semigroups
• Idempotent Semigroups
• Unnamed Item
• Unnamed Item
• Unnamed Item