Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories.

Hitoshi Ohsaki

Browse the full CSL paper archive.