An edition of Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 (1996)
Higher-order algebra, logic, and term rewriting
second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
By Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) International Workshop on Higher-Order Algebra
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1996
Publisher
Springer
Language
eng
Pages
287
1-3 of 3 Editions
Higher-order algebra, logic, and term rewritingsecond international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
Language: eng
Pages: 287
Published In: 1996
Publisher: Springer
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995
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)
Language: eng
Published In: May 1996
Publisher: Springer-Verlag
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)
Language: eng
Pages: 287
Published In: June 1996
Publisher: Springer