Advertisement

Table of contents

  1. Front Matter
  2. Christian Choffrut
    Pages 6-22
  3. Franz Baader, Klaus U. Schulz
    Pages 23-42
  4. Witold Charatonik, Leszek Pacholski
    Pages 43-56
  5. Patrick Dehornoy
    Pages 57-78
  6. Patrice Enjalbcrt, FranÇoise Clerin-Debart
    Pages 79-89
  7. Hachemi Bennaceur, Gérard Plateau
    Pages 90-102
  8. Kounalis Emmanuel, Lugiez Denis, Pottier Loic
    Pages 197-214
  9. Back Matter

About these proceedings

Introduction

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.

Keywords

Monoid Variable algorithms combinatorial optimization optimization proving theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-56730-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56730-1
  • Online ISBN 978-3-540-47636-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site