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,
}











