Deciding Top-Down Determinism of Regular Tree Languages.

Peter Leupold, Sebastian Maneth

Browse the full FCT paper archive.