Sebastian Maneth, Helmut Seidl, Martin Vu. How to Decide Functionality of Compositions of Top-Down Tree Transducers. In Dimitrios Poulakis, George Rahonis, editors, Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings. Volume 13706 of Lecture Notes in Computer Science, pages 175-191, Springer, 2022. [doi]
Abstract is missing.