1993
Modular properties of conditional term rewriting systems. Logic in computer science
Publication
Publication
Information and Computation , Volume 104 - Issue 1 p. 110- 158
Additional Metadata | |
---|---|
Academic Press | |
Information and Computation | |
Middeldorp, A. (1993). Modular properties of conditional term rewriting systems. Logic in computer science. Information and Computation, 104(1), 110–158. |