The following pages link to Marrying Words and Trees (Q5505411):
Displaying 9 items.
- Streaming tree automata (Q975511) (← links)
- Paired bondage in trees (Q998438) (← links)
- Efficient determinization of visibly and height-deterministic pushdown automata (Q1749148) (← links)
- Colored nested words (Q2149962) (← links)
- Multi-matching nested relations (Q2220863) (← links)
- The (nested) word problem (Q2630345) (← links)
- Rewriting systems over nested data words (Q2917309) (← links)
- Marrying Words and Trees (Q3499762) (← links)
- First-Order and Temporal Logics for Nested Words (Q3623007) (← links)