-
1
Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers
Berlin ; New York : Springer-Verlag, 1994“…International Workshop on Higher-Order Algebra, Logic, and Term Rewriting…”
Format: Conference Proceeding Book
-
2
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
Berlin ; New York : Springer, 1996“…International Workshop on Higher-Order Algebra, Logic, and Term Rewriting…”
Format: Conference Proceeding Book
-
3
Algebraic and logic programming : International Conference ... proceedings.
Berlin ; New York : Springer-Verlag, 1990“…International Workshop on Higher-Order Algebra, Logic, and Term Rewriting…”
Format: Conference Proceeding