Term rewriting
French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course
Edición de la obra Term rewriting
| Autor | French Spring School of Theoretical Computer Science (1993 Font-Romeu, France) |
|---|---|
| Editorial | Springer Verlag, Springer |
| Fecha de publicación | 1995 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 221 |
| ISBN-10 | 3540593403, 0387593403 |
| LCCN | 95015960 |
| Serie | Lecture notes in computer science ; · 909 |
| Número de Cutter | F873t |