Spar
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.
- Undertittel
- 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
- Opplag
- 1994 ed.
- ISBN
- 9783540582335
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 28.7.1994
- Antall sider
- 351
