Sequentiality, Second Order Monadic Logic and Tree Automata

Hubert Comon

Browse the full LICS paper archive.