Arbitrary-Arity Tree Automata for QCTL.

Franois Laroussinie, Nicolas Markey

Browse the full CONCUR paper archive.