Some undecidable termination problems for semi-Thue systems
Géraud SénizerguesVolume:
142
Year:
1995
Language:
english
Pages:
20
DOI:
10.1016/0304-3975(94)00278-9
File:
PDF, 822 KB
english, 1995