Pages that link to "Item:Q3527305"
From MaRDI portal
The following pages link to Termination of String Rewriting with Matrix Interpretations (Q3527305):
Displayed 5 items.
- Lazy productivity via termination (Q549188) (← links)
- Matrix interpretations for proving termination of term rewriting (Q928655) (← links)
- Arctic Termination ...Below Zero (Q3522019) (← links)
- Automatic Termination (Q3636815) (← links)
- Proving Termination with (Boolean) Satisfaction (Q5504589) (← links)