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
- Toimittaja
- Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
- Painos
- 1994 ed.
- ISBN
- 9783540582335
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 28.7.1994
- Sivumäärä
- 351
