Gå direkt till innehållet
Higher-Order Algebra, Logic, and Term Rewriting
Spara

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.
Undertitel
First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Upplaga
1994 ed.
ISBN
9783540582335
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1994-07-28
Sidor
351