1991
Extended term rewriting systems
Publication
Publication
Presented at the
International Conference on Conditional and Typed Rewriting Systems, Montreal, PQ
| Additional Metadata | |
|---|---|
| Springer | |
| Lecture Notes in Computer Science | |
| International Conference on Conditional and Typed Rewriting Systems | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Klop, J. W.& de Vrijer, R. (1991). Extended term rewriting systems. Proceedings of Conditional and Typed Rewriting Systems 1990, 26–50. |
|