The Church-Rosser property for ground term-rewriting systems is decidable☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
This research was supported in part by Grant-in-Aid for Scientific Research No. 58580025 from the Ministry of Education, Science and Culture, Japan, and by the Alexander von Humboldt Foundation.
Copyright © 1987 Published by Elsevier B.V.