A note on unification type zero

DOI10.1016/0020-0190(88)90098-1zbMath0636.68030DBLPjournals/ipl/Baader88OpenAlexW2030476257WikidataQ57383758 ScholiaQ57383758MaRDI QIDQ1098285

Franz Baader

Publication date: 1988

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(88)90098-1

zbMATH Keywords

unificationterm rewriting systemsequational theoryidempotent semigroups

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Related Items (4)

Characterizations of unification type zero ⋮ E-Unification based on Generalized Embedding ⋮ Unification in varieties of completely regular semigroups ⋮ What Is Essential Unification?

Cites Work

• 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
• Unification in varieties of idempotent semigroups
• Complete sets of unifiers and matchers in equational theories

This page was built for publication: A note on unification type zero