The following pages link to (Q4447254):
Displaying 8 items.
- Mechanically proving termination using polynomial interpretations (Q851142) (← links)
- Derivatives and partial derivatives for regular shuffle expressions (Q2424692) (← links)
- From $$\omega $$-Regular Expressions to Büchi Automata via Partial Derivatives (Q2799180) (← links)
- Derivatives for Enhanced Regular Expressions (Q2830228) (← links)
- Regular strategies as proof tactics for \textsf{CIRC} (Q2873678) (← links)
- A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings (Q2964458) (← links)
- Partial Derivatives for Context-Free Languages (Q2988372) (← links)
- Testing membership in parenthesis languages (Q4798183) (← links)