This volume contains papers presented at the second International Workshop on Word Equations and Related Topics (IWWERT '91), held at the University ofRouen in October 1991. The papers are on the following topics: general solution of word equations, conjugacy in free inverse monoids, general A- and AX-unification via optimized combination procedures, wordequations with two variables, a conjecture about conjugacy in free groups, acase of termination for associative unification, theorem proving by combinatorial optimization, solving string equations with constant restriction, LOP (toward a new implementation of Makanin's algorithm), word unification and transformation of generalizedequations, unification in the combination of disjoint theories, on the subsets of rank two in a free monoid (a fast decision algorithm), and a solution of the complement problem in associative-commutative theories.
Author(s): G. S. Makanin (auth.), Habib Abdulrab, Jean-Pierre Pécuchet (eds.)
Series: Lecture Notes in Computer Science 677
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1993
Language: English
Pages: 220
Tags: Mathematical Logic and Formal Languages; Data Structures; Artificial Intelligence (incl. Robotics); Mathematical Logic and Foundations
On general solution of equations in a free semigroup....Pages 1-5
Conjugacy in free inverse monoids....Pages 6-22
General A- and AX-unification via optimized combination procedures....Pages 23-42
Word equations with two variables....Pages 43-56
The naming problem for left distributivity....Pages 57-78
A case of termination for associative unification....Pages 79-89
Theorem proving by combinatorial optimization....Pages 90-102
Solving string equations with constant restrictions....Pages 103-132
LOP: Toward a new implementation of Makanin's Algorithm....Pages 133-149
Word unification and transformation of generalized equations....Pages 150-176
Unification in the combination of disjoint theories....Pages 177-186
On the subsets of rank two in a free monoid: A fast decision algorithm....Pages 187-196
A solution of the complement problem in associatiue-commutatiue theories....Pages 197-214
