1991
Confluence of the disjoint union of conditional term rewriting systems
Publication
Publication
Presented at the
International Conference on Conditional and Typed Rewriting Systems, Montreal, Canada
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
International Conference on Conditional and Typed Rewriting Systems | |
Middeldorp, A. (1991). Confluence of the disjoint union of conditional term rewriting systems. In Conditional and Typed Rewriting Systems 1990 (2) (pp. 295–306). Springer. |