Projection for Büchi Tree Automata with Constraints between Siblings
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
Authors
Authors
Landwehr, Patrick
Löding, Christof
Identifier
- DOI: 10.1142/S012905412041004X
- REPORT NUMBER: RWTH-2021-00359