Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification.

Tristan Le Gall, Bertrand Jeannet

Browse the full SAS paper archive.