Tree Automata with Memory, Visibility and Structural Constraints.

Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin

Browse the full FOSSACS paper archive.