Extended term rewriting systems
Presented at the International Conference on Conditional and Typed Rewriting Systems, Montreal, PQ
|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. In Proceedings of Conditional and typed rewriting systems 1990 (pp. 26–50). Springer.