Word unification and transformation of generalized equations
type: Item
instance of: scholarly article
title: Word unification and transformation of generalized equations
zbMATH Open document ID: 0802.68136
DOI: 10.1007/BF00881904
author: K. U. Schulz
published in: Journal of Automated Reasoning
publication date: 1994-12-11T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 20M05
Mathematics Subject Classification ID: 20M35
zbMATH DE Number: 549831
zbMATH Keywords: unification theory
zbMATH Keywords: associative unification
zbMATH Keywords: word equations
zbMATH Keywords: free semigroups
zbMATH Keywords: string-unification
zbMATH Keywords: Makanin's algorithm
MaRDI profile type: Publication
cites work: Solving word equations
cites work: Equations in free semigroups
cites work: Minimal and complete word unification
cites work: THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
cites work: RECOGNITION OF THE RANK OF EQUATIONS IN A FREE SEMIGROUP
cites work: Equations in a free semigroup
cites work: Q5678447
cites work: Unification theory
full work available at URL: https://doi.org/10.1007/bf00881904
OpenAlex ID: W2069915937
description: scientific article; zbMATH DE number 549831