Using Games and Universal Trees to Characterise the Nondeterministic Index of Tree Languages.

Olivier Idir, Karoliina Lehtinen

Browse the full ICALP paper archive.