Conditional and typed rewriting systems
4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings
Edición de la obra Conditional and typed rewriting systems
| Autor | International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem) |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1995 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 373 |
| ISBN-10 | 3540603816 |
| LCCN | 95039593 |
| Serie | Lecture notes in computer science ; · 968 |
| Número de Cutter | J56c |