Patrick Landwehr, Christof Löding
Projection for Büchi Tree Automata with Constraints Between Siblings
DLT, 2018.
@inproceedings{DLT-2018-LandwehrL, author = "Patrick Landwehr and Christof Löding", booktitle = "{Proceedings of the 22nd International Conference on Developments in Language Theory}", doi = "10.1007/978-3-319-98654-8_39", isbn = "['978-3-319-98653-1', '978-3-319-98654-8']", pages = "478--490", publisher = "{Springer}", title = "{Projection for Büchi Tree Automata with Constraints Between Siblings}", year = 2018, }