Merkliste 
 1 Ergebnisse 
 
1

Top-down complementation of automata on finite trees:

Doyen, Laurent
Information Processing Letters.  187 (2025)  - p. 106499 , 2025