The following pages link to Vincent Hugot (Q442146):
Displayed 11 items.
- Item:Q442146 (redirect page) (← links)
- The emptiness problem for tree automata with at least one global disequality constraint is NP-hard (Q344514) (← links)
- Loops and overloops for tree-walking automata (Q442148) (← links)
- Automata for unordered trees (Q515668) (← links)
- Equivalence of symbolic tree transducers (Q2408796) (← links)
- Logics for unordered trees with data constraints (Q2424682) (← links)
- Logics for Unordered Trees with Data Constraints on Siblings (Q2799171) (← links)
- From Linear Temporal Logic Properties to Rewrite Propositions (Q2908502) (← links)
- On Positive TAGED with a Bounded Number of Constraints (Q2914722) (← links)
- (Q4995369) (← links)
- Loops and Overloops for Tree Walking Automata (Q5200062) (← links)