Siirry suoraan sisältöön
Higher-Order Algebra, Logic, and Term Rewriting
Tallenna

Higher-Order Algebra, Logic, and Term Rewriting

This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993.
Alaotsikko
First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Painos
1994 ed.
ISBN
9783540582335
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
28.7.1994
Sivumäärä
351