Automata and Logics for Words and Trees over an Infinite Alphabet.

Luc Segoufin

Browse the full CSL paper archive.