Cited By
View all- Ciobanu LZetzsche GSobocinski PLago UEsparza J(2024)Slice closures of indexed languages and word equations with counting constraintsProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3661814.3662134(1-12)Online publication date: 8-Jul-2024
- Filiot EJecker ILöding CMuscholl APuppis GWinter SSobocinski PLago UEsparza J(2024)Finite-valued Streaming String TransducersProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3661814.3662095(1-14)Online publication date: 8-Jul-2024
- Hashimoto KManeth S(2023)Characterizing attributed tree translations in terms of macro tree transducersTheoretical Computer Science10.1016/j.tcs.2023.113943963:COnline publication date: 26-Jun-2023