Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols.

Hubert Comon, Vronique Cortier, John Mitchell

Browse the full ICALP paper archive.