Martin Vu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Attributed tree transducers for partial functions	2025-01-20	Paper
Deciding whether an attributed translation can be realized by a top-down transducer Implementation and Application of Automata	2024-02-28	Paper
Functionality of compositions of top-down tree transducers is decidable Information and Computation	2024-01-18	Paper
Insertion-deletion with substitutions. II: About the role of one-sided context	2023-11-23	Paper
Definability Results for Top-Down Tree Transducers International Journal of Foundations of Computer Science	2023-08-15	Paper
How to decide functionality of compositions of top-down tree transducers Algebraic Informatics	2023-07-26	Paper
Insertion-deletion systems with substitutions. I	2022-12-16	Paper
Definability results for top-down tree transducers (available as arXiv preprint)	2022-03-25	Paper
Adding matrix control: insertion-deletion systems with substitutions. III	2022-03-24	Paper
Insertion-deletion systems with substitutions. I Computability	2022-02-28	Paper
Insertion-deletion with substitutions. II	2021-07-14	Paper
Regulated tree automata	2020-05-12	Paper

Research outcomes over time

This page was built for person: Martin Vu