Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
c1993.
|
| Series: | Lecture notes in computer science ;
677. |
| Subjects: |
Table of Contents:
- On General Solution of Equations in a Free Semigroup / G.S. Makanin
- Conjugacy in Free Inverse Monoids / C. Choffrut
- General A- and AX-Unification via Optimized Combination Procedures / F. Baader and K.U. Schulz
- Word Equations with Two Variables / W. Charatonik and L. Pacholski
- The Naming Problem for Left Distributivity / P. Dehornoy
- A Case of Termination for Associative Unification / P. Enjalbert and F. Clerin-Debart
- Theorem Proving by Combinatorial Optimization / H. Bennaceur and G. Plateau
- Solving String Equations with Constant Restrictions / P. Auer
- LOP: Toward a New Implementation of Makanin's Algorithm / H. Abdulrab
- Word Unification and Transformation of Generalized Equations / K.U. Schulz
- Unification in the Combination of Disjoint Theories / P. Auer
- On the Subsets of Rank Two in a Free Monoid: A Fast Decision Algorithm / J. Neraud.
- A Solution of the Complement Problem in Associative-Commutative Theories / E. Kounalis, D. Lugiez and L. Pottier.