The following pages link to Dag Hovland (Q269325):
Displaying 6 items.
- Deciding twig-definability of node selecting tree automata (Q269327) (← links)
- The inclusion problem for regular expressions (Q1757837) (← links)
- The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints (Q2890202) (← links)
- Regular Expressions with Numerical Constraints and Automata with Counters (Q3393412) (← links)
- The Inclusion Problem for Regular Expressions (Q3564873) (← links)
- A Type System for Usage of Software Components (Q3638253) (← links)
