![](/img/cover-not-exists.png)
A polynomial algorithm testing partial confluence of basic semi-Thue systems
Géraud SénizerguesVolume:
192
Year:
1998
Language:
english
Pages:
21
DOI:
10.1016/s0304-3975(97)00145-x
File:
PDF, 1.20 MB
english, 1998