Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata.

Clment Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault

Browse the full CONCUR paper archive.