The following pages link to Martin Vu (Q831847):
Displaying 9 items.
- Adding matrix control: insertion-deletion systems with substitutions. III (Q831848) (← links)
- Definability results for top-down tree transducers (Q832950) (← links)
- Insertion-deletion with substitutions. II (Q2040425) (← links)
- Insertion-deletion systems with substitutions. I (Q2106623) (← links)
- Regulated tree automata (Q2179332) (← links)
- Insertion-deletion systems with substitutions I (Q5037217) (← links)
- Definability Results for Top-Down Tree Transducers (Q6169966) (← links)
- Functionality of compositions of top-down tree transducers is decidable (Q6178464) (← links)
- Attributed tree transducers for partial functions (Q6666800) (← links)