Monotone AC-Tree Automata.

Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos

Browse the full LPAR paper archive.