Patrick Landwehr, Christof Löding. Projection for Büchi Tree Automata with Constraints Between Siblings. In Mizuho Hoshi, Shinnosuke Seki, editors, Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings. Volume 11088 of Lecture Notes in Computer Science, pages 478-490, Springer, 2018. [doi]
Abstract is missing.