Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata.

Corentin Barloy, Lorenzo Clemente

Browse the full STACS paper archive.