1. IWWERT 1990: Tübingen, Germany

Klaus U. Schulz (Ed.): Word Equations and Related Topics, First International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990, Proceedings. Lecture Notes in Computer Science 572 Springer 1992, ISBN 3-540-55124-7 BibTeX

@proceedings{DBLP:conf/iwwert/1990,
  editor    = {Klaus U. Schulz},
  title     = {Word Equations and Related Topics, First International Workshop,
               IWWERT '90, T{\"u}bingen, Germany, October 1-3, 1990, Proceedings},
  booktitle = {IWWERT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {572},
  year      = {1992},
  isbn      = {3-540-55124-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

G. S. Makanin: Investigations on Equations in a Free Group. 1-11 BibTeX
Antoni Koscielski: An Analysis of Makanin's Algorithm Deciding Solvability of Equations in Free Groups. 12-60 BibTeX
Habib Abdulrab: Implementation of Makanin's Algorithm. 61-84 BibTeX
Klaus U. Schulz: Makanin's Algorithm for Word Equations - Two Improvements and a Generalization. 85-150 BibTeX
Franz Baader: Unification Theory. 151-170 BibTeX
Alexander Bockmayr: Algebraic and Logic Aspects of Unification. 171-180 BibTeX
Alexander Bockmayr: Model-Theoretic Aspects of Unification. 181-196 BibTeX
Akihiko Ohsuga, Kô Sakai: Complete Equational Unification Based on an Extension of the Knuth-Bendix Completion Procedure. 197-209 BibTeX
Franz Baader: Unification in Varieties of Completely Regular Semigroups. 210-230 BibTeX
Ronald V. Book: A Note on Confluent Thue Systems. 231-236 BibTeX
Celia Wrathall: Confluence of One-Rule Thue Systems. 237-246 BibTeX
Juhani Karhumäki: Systems of Equations over a Finite Set of Words and Automata Theory. 247-249 BibTeX
A. G. Makanina: New System of Defining Relations of the Braid Group. 250-256 BibTeX