Projection for Büchi Tree Automata with Constraints between Siblings

Landwehr, Patrick (Corresponding author); Löding, Christof (Corresponding author)

Singapore [u.a.] / World Scient. (2020) [Contribution to a book, Journal Article]

International journal of foundations of computer science : IJFCS
Volume: 31
Issue: 6
Page(s): 749-775