Login / Signup

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

Luc Segoufin
Published in: CSL (2006)
Keyphrases