![](/img/cover-not-exists.png)
On termination of confluent one-rule string-rewriting systems
Kayoko Shikishima-Tsuji, Masashi Katsura, Yuji KobayashiVolume:
61
Year:
1997
Language:
english
Pages:
6
DOI:
10.1016/s0020-0190(96)00200-1
File:
PDF, 507 KB
english, 1997