1.

電子ブック
ＥＢ
1. Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers. 1st ed. 1996
edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1074
オンライン: https://doi.org/10.1007/3-540-61254-8
2.

電子ブック
ＥＢ
2. Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers. 1st ed. 1994
edited by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 816
オンライン: https://doi.org/10.1007/3-540-58233-9