1995
Termination for direct sums of left-linear complete term rewriting systems
Publication
Publication
Journal of the Association for Computing Machinery , Volume 42 - Issue 6 p. 1275- 1304
Additional Metadata | |
---|---|
a.c.m | |
Journal of the Association for Computing Machinery | |
Organisation | Specification and Analysis of Embedded Systems |
Toyama, Y., Klop, J. W., & Barendregt, H. (1995). Termination for direct sums of left-linear complete term rewriting systems. Journal of the Association for Computing Machinery, 42(6), 1275–1304. |