Higher-Order Algebra, Logic, and Term Rewriting
First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected (Lecture Notes in Computer Science)
Edición de la obra Higher-order algebra, logic, and term rewriting
| Autor | Jan Heering, Karl Meinke, Bernhard Moller |
|---|---|
| Editorial | Springer |
| Fecha de publicación | September 1994 |
| Idioma | inglés |
| Páginas | 344 |
| Formato | Paperback |
| ISBN-13 | 9783540582335 |
| ISBN-10 | 3540582339 |