1991
Sequentiality in orthogonal term rewriting systems
Publication
Publication
Journal of Symbolic Computation , Volume 12 - Issue 2 p. 161- 195
Additional Metadata | |
---|---|
Academic Press | |
Journal of Symbolic Computation | |
Organisation | Specification and Analysis of Embedded Systems |
Klop, J. W., & Middeldorp, A. (1991). Sequentiality in orthogonal term rewriting systems. Journal of Symbolic Computation, 12(2), 161–195. |