IWWERT

Keyphrases

Publications

volume 677, 1993

Word Equations and Related Topics, Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991, Proceedings IWWERT 677 (1993)

volume 572, 1992

Word Equations and Related Topics, First International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990, Proceedings IWWERT 572 (1992)

1991

Christian Choffrut
Conjugacy in Free Inverse Monoids. IWWERT (1991)
Emmanuel Kounalis, Denis Lugiez, Loic Pottier
A Solution of the Complement Problem in Associative-Commutative Theories. IWWERT (1991)
Peter Auer
Unification in the Combination of Disjoint Theories. IWWERT (1991)
Jean Néraud
On the Subsets of Rank Two in a Free Monoid: A Fast Decision Algorithm. IWWERT (1991)
Peter Auer
Solving String Equations with Constant Restrictions. IWWERT (1991)
Patrice Enjalbert, Françoise Clérin-Debart
A Case of Termination for Associative Unification. IWWERT (1991)
Patrick Dehornoy
The Naming Problem for Left Distributivity. IWWERT (1991)
Franz Baader, Klaus U. Schulz
General A- and AX-Unification via Optimized. IWWERT (1991)
Hachemi Bennaceur, Gérard Plateau
Theorem Proving by Combinatorial Optimization. IWWERT (1991)
G. S. Makanin
On General Solution of Equations in a Free Semigroup. IWWERT (1991)
Witold Charatonik, Leszek Pacholski
Word Equations with Two Variables. IWWERT (1991)
Habib Abdulrab
LOP: Toward a New Implementation of Makanin's Algorithm. IWWERT (1991)

1990