![](/img/cover-not-exists.png)
Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems
Paliath Narendran, Friedrich OttoVolume:
68
Year:
1989
Language:
english
Pages:
14
DOI:
10.1016/0304-3975(89)90167-9
File:
PDF, 879 KB
english, 1989