1.

電子ブック
ＥＢ
1. Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course. 1st ed. 1995
edited by Hubert Comon, Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 909
オンライン: https://doi.org/10.1007/3-540-59340-3
2.

電子ブック
ＥＢ
2. Constraints in Computational Logics : First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings. 1st ed. 1994
edited by Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 845
オンライン: https://doi.org/10.1007/BFb0016839
3.

電子ブック
ＥＢ
3. TAPSOFT '93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings. 1st ed. 1993
edited by Marie-Claude Gaudel, Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 668
オンライン: https://doi.org/10.1007/3-540-56610-4
4.

電子ブック
ＥＢ
4. Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings. 1st ed. 1988
edited by Stephane Kaplan, Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 308
オンライン: https://doi.org/10.1007/3-540-19242-5
5.

電子ブック
ＥＢ
5. Rewriting Techniques and Applications : Dijon, France, May 20-22, 1985. 1st ed. 1985
edited by Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
シリーズ名: Lecture Notes in Computer Science ; 202
オンライン: https://doi.org/10.1007/3-540-15976-2
6.

電子ブック
ＥＢ
6. Functional Programming Languages and Computer Architecture : Proceedings, Nancy, France, September 16-19, 1985. 1st ed. 1985
edited by Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
シリーズ名: Lecture Notes in Computer Science ; 201
オンライン: https://doi.org/10.1007/3-540-15975-4