Decision Problems for Term Rewriting Systems and Recognizable Tree Languages.

Rmi Gilleron

Browse the full STACS paper archive.