@inproceedings{8063c65ebc7c46ada58375ca354dac45,
title = "How to Decide Functionality of Compositions of Top-Down Tree Transducers",
abstract = "We prove that functionality of compositions of top-down tree transducers is decidable by reducing the problem to the functionality of one top-down tree transducer with look-ahead.",
author = "Sebastian Maneth and Helmut Seidl and Martin Vu",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 9th International Conference on Algebraic Informatics, CAI 2022 ; Conference date: 27-10-2022 Through 29-10-2022",
year = "2022",
doi = "10.1007/978-3-031-19685-0_13",
language = "English",
isbn = "9783031196843",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "175--191",
editor = "Dimitrios Poulakis and George Rahonis",
booktitle = "Algebraic Informatics - 9th International Conference, CAI 2022, Proceedings",
}