![](/img/cover-not-exists.png)
Termination for direct sums of left-linear complete term rewriting systems
Toyama, Y., Klop, J. W., Barendregt, H. P.Volume:
42
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/227683.227689
Date:
November, 1995
File:
PDF, 1.70 MB
english, 1995