@article{158aa49889e64d60afa0e5ec6e2baeac,
title = "Functionality of compositions of top-down tree transducers is decidable",
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.",
keywords = "Decidability, Functionality, Top-down tree transducer",
author = "Sebastian Maneth and Helmut Seidl and Martin Vu",
note = "Publisher Copyright: {\textcopyright} 2023 The Author(s)",
year = "2024",
month = jan,
doi = "10.1016/j.ic.2023.105131",
language = "English",
volume = "296",
journal = "Information and Computation",
issn = "0890-5401",
publisher = "Elsevier Inc.",
}