Variable Automata over Infinite Alphabets.

Orna Grumberg, Orna Kupferman, Sarai Sheinvald

Browse the full LATA paper archive.