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
- Redaktör
- Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
- Upplaga
- 1994 ed.
- ISBN
- 9783540582335
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1994-07-28
- Sidor
- 351
