Word Equations and Related Topics, Second International Workshop, IWWERT 91, Rouen, France, October 7-9, 1991, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

Habib Abdulrab, Jean-Pierre Pécuchet, editors, Word Equations and Related Topics, Second International Workshop, IWWERT 91, Rouen, France, October 7-9, 1991, Proceedings. Volume 677 of Lecture Notes in Computer Science, Springer, 1993.

Conference: iwwert1993

Abstract is missing.

On General Solution of Equations in a Free SemigroupG. S. Makanin. 1-5

Conjugacy in Free Inverse MonoidsChristian Choffrut. 6-22

General A- and AX-Unification via OptimizedFranz Baader, Klaus U. Schulz. 23-42

Word Equations with Two VariablesWitold Charatonik, Leszek Pacholski. 43-56

The Naming Problem for Left DistributivityPatrick Dehornoy. 57-78

A Case of Termination for Associative UnificationPatrice Enjalbert, Françoise Clérin-Debart. 79-89

Theorem Proving by Combinatorial OptimizationHachemi Bennaceur, Gérard Plateau. 90-102

Solving String Equations with Constant RestrictionsPeter Auer. 103-132

LOP: Toward a New Implementation of Makanin s AlgorithmHabib Abdulrab. 133-176

Unification in the Combination of Disjoint TheoriesPeter Auer. 177-186

On the Subsets of Rank Two in a Free Monoid: A Fast Decision AlgorithmJean Neraud. 187-196

A Solution of the Complement Problem in Associative-Commutative TheoriesEmmanuel Kounalis, Denis Lugiez, Loic Pottier. 197-214

runs on WebDSL