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
Description: