The following pages link to (Q4737907):
Displaying 4 items.
- The context-splittable normal form for Church-Rosser language systems. (Q1401938) (← links)
- Lambda-confluence for context rewriting systems (Q2344748) (← links)
- Regulated variants of limited context restarting automata (Q2358691) (← links)
- Lower bound technique for length-reducing automata (Q2381504) (← links)