Universality and Forall-Exactness of Cost Register Automata with Few Registers.

Laure Daviaud, Andrew Ryzhikov

Browse the full MFCS paper archive.