Tree Automata with Global Constraints for Infinite Trees.

Patrick Landwehr, Christof Lding

Browse the full STACS paper archive.