@dblp

Pushdown Automata on Infinite Trees and Omega-Kleene closure of Context-Free Tree Sets.

. MFCS, volume 379 of Lecture Notes in Computer Science, page 445-457. Springer, (1989)

Links and resources

Tags