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. In Proceedings of Conditional and typed rewriting systems 1990 (pp. 26–50). Springer. |