Decision problems for semi-Thue systems with a few rules, Theoret (0)

by Y Matiyasevich, G Sénizergues
Venue:Comput. Sci