1.

図書
図書
1. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
edited by Jean-Pierre Jouannaud
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 202
2.

図書
図書
2. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings
edited by Pierre Lescanne
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 256