Unification in varieties of idempotent semigroups

DOI10.1007/BF02575010zbMath0624.20039WikidataQ57383763 ScholiaQ57383763MaRDI QIDQ1092171

Franz Baader

Publication date: 1987

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/134890

zbMATH Keywords

term rewriting systemsdefining sets of identitiesunification typesvarieties of idempotent semigroups

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Mechanization of proofs and logical operations (03B35) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items (11)

Characterizations of unification type zero ⋮ A note on unification type zero ⋮ Unification in commutative idempotent monoids ⋮ The undecidability of the D_A-unification problem ⋮ Unification in commutative semigroups ⋮ Unification properties of commutative theories: A categorical treatment ⋮ Unification in varieties of completely regular semigroups ⋮ Unification theory ⋮ Hilbert's tenth problem is of unification type zero ⋮ Complexity of unification problems with associative-commutative operators ⋮ Unification in commutative theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unification under associativity and idempotence is of type nullary
• The theory of idempotent semigroups is of unification type zero
• The structure of idempotent semigroups. I
• The lattices of varieties and pseudovarieties of band monoids
• Embedding Boolean expressions into logic programming
• Unification in commutative idempotent monoids
• A Noetherian and confluent rewrite system for idempotent semigroups
• Complete sets of unifiers and matchers in equational theories
• The lattice of equational classes of idempotent semigroups
• The lattice of semigroup varieties
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Complete Sets of Reductions for Some Equational Theories
• A Construction and a Classification of Bands
• All Varieties of Bands I

This page was built for publication: Unification in varieties of idempotent semigroups