Decision Problems for Semi-Thue Systems with a Few Rules.

Yuri V. Matiyasevich, Graud Snizergues

Browse the full LICS paper archive.