Unification in partially commutative semigroups
type: Item
instance of: scholarly article
title: Unification in partially commutative semigroups
zbMATH Open document ID: 0812.68076
DOI: 10.1007/BF00881887
published in: Journal of Automated Reasoning
publication date: 1994-11-10T00:00:00Z
Mathematics Subject Classification ID: 68W10
Mathematics Subject Classification ID: 20M35
zbMATH DE Number: 683152
zbMATH Keywords: partially commutative semigroups
zbMATH Keywords: unification algorithms
author: Edmund K. Burke
MaRDI profile type: Publication
cites work: Solving word equations
cites work: Q3993363
cites work: The theory of idempotent semigroups is of unification type zero
cites work: The Undecidability of the Unification Problem for Nilpotent Groups of Class ⩾ 5
cites work: Unification for nilpotent groups of class 2
cites work: Unification in abelian semigroups
cites work: Minimal and complete word unification
cites work: Q3935355
cites work: Q5673640
cites work: Q4159542
cites work: THE SOLVABILITY PROBLEM FOR EQUATIONS IN ONE UNKNOWN IN NILPOTENT GROUPS
cites work: Q3824583
cites work: Unsolvability of the endomorphic reducibility problem in free nilpotent groups and in free rings
cites work: Unification under associativity and idempotence is of type nullary
cites work: Unification theory
cites work: A Unification Algorithm for Associative-Commutative Functions
cites work: Equation-Solving in Free Nilpotent groups Class 2 and 3
full work available at URL: https://doi.org/10.1007/bf00881887
OpenAlex ID: W2089496816
description: scientific article; zbMATH DE number 683152