Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
Author(s)
Bibliographic Information
Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
（Lecture notes in computer science, 1074）
Springer, c1996
Available at 60 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||107496013461
Note
Includes bibliographical references