Yoshihito Toyama
Yoshihito Toyama.
On the Church-Rosser property for the direct sum of term rewriting systems.
Journal of the ACM
, 34(1):128-143, January 1987.
Citations.
Y. Toyama, Jan Willem Klop, and H. P. Barendregt.
Termination for direct sums of left-linear complete term rewriting systems.
Journal of the ACM
, 42(6):1275-1304, November 1995.
References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database