2. IWWERT 1991: Rouen, France

Habib Abdulrab, Jean-Pierre Pécuchet (Eds.): Word Equations and Related Topics, Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991, Proceedings. Lecture Notes in Computer Science 677 Springer 1993, ISBN 3-540-56730-5 BibTeX

@proceedings{DBLP:conf/iwwert/1991,
  editor    = {Habib Abdulrab and
               Jean-Pierre P{\'e}cuchet},
  title     = {Word Equations and Related Topics, Second International Workshop,
               IWWERT '91, Rouen, France, October 7-9, 1991, Proceedings},
  booktitle = {IWWERT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {677},
  year      = {1993},
  isbn      = {3-540-56730-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

G. S. Makanin: On General Solution of Equations in a Free Semigroup. 1-5 BibTeX
Christian Choffrut: Conjugacy in Free Inverse Monoids. 6-22 BibTeX
Franz Baader, Klaus U. Schulz: General A- and AX-Unification via Optimized. 23-42 BibTeX
Witold Charatonik, Leszek Pacholski: Word Equations with Two Variables. 43-56 BibTeX
Patrick Dehornoy: The Naming Problem for Left Distributivity. 57-78 BibTeX
Patrice Enjalbert, Françoise Clérin-Debart: A Case of Termination for Associative Unification. 79-89 BibTeX
Hachemi Bennaceur, Gérard Plateau: Theorem Proving by Combinatorial Optimization. 90-102 BibTeX
Peter Auer: Solving String Equations with Constant Restrictions. 103-132 BibTeX
Habib Abdulrab: LOP: Toward a New Implementation of Makanin's Algorithm. 133-176 BibTeX
Peter Auer: Unification in the Combination of Disjoint Theories. 177-186 BibTeX
Jean Neraud: On the Subsets of Rank Two in a Free Monoid: A Fast Decision Algorithm. 187-196 BibTeX
Emmanuel Kounalis, Denis Lugiez, Loic Pottier: A Solution of the Complement Problem in Associative-Commutative Theories. 197-214 BibTeX