Conditional term rewriting systems
1st international workshop, Orsay, France, July 8-10, 1987 : proceedings
Edición de la obra Conditional term rewriting systems
| Autor | Jean-Pierre Jouannaud |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1988 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 278 |
| ISBN-10 | 0387192425 |
| OCLC | 18049666, 471009223 |
| LCCN | 88017626 |
| Serie | Lecture notes in computer science ; · 308 |
| Número de Cutter |