Higher-order algebra, logic, and term rewriting
first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers
Edición de la obra Higher-order algebra, logic, and term rewriting
| Autor | Jan Heering, Karl Meinke, Bernhard Moller |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1994 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 344 |
| ISBN-10 | 3540582339, 0387582339 |
| OCLC | 502560623 |
| LCCN |