Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 1994
Proceedings (Lecture Notes in Computer)
Edición de la obra Conditional and typed rewriting systems
| Autor | Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on Automata, Naomi Lindenstrauss, Nachum Dershowitz |
|---|---|
| Editorial | Springer |
| Fecha de publicación | October 1995 |