The following pages link to (Q3783524):
Displayed 6 items.
- Termination of just/fair computations in term rewriting (Q924727) (← links)
- Termination of rewriting (Q1098624) (← links)
- Fairness in context-free grammars under every choice-strategy (Q1122988) (← links)
- Modularity of simple termination of term rewriting systems with shared constructors (Q1199539) (← links)
- Conditional narrowing modulo a set of equations (Q1261194) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)