Pages that link to "Item:Q3527305"
From MaRDI portal
The following pages link to Termination of String Rewriting with Matrix Interpretations (Q3527305):
Displayed 13 items.
- Lazy productivity via termination (Q549188) (← links)
- Matrix interpretations for proving termination of term rewriting (Q928655) (← links)
- Multi-dimensional interpretations for termination of term rewriting (Q2055861) (← links)
- An automated approach to the Collatz conjecture (Q2055879) (← links)
- Tuple interpretations for termination of term rewriting (Q2102931) (← links)
- Real or natural number interpretation and their effect on complexity (Q2346989) (← links)
- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (Q2947210) (← links)
- Termination of Cycle Rewriting by Transformation and Matrix Interpretation (Q2980975) (← links)
- Arctic Termination ...Below Zero (Q3522019) (← links)
- Automatic Termination (Q3636815) (← links)
- (Q5015379) (← links)
- Proving Termination with (Boolean) Satisfaction (Q5504589) (← links)
- An automated approach to the Collatz conjecture (Q6103589) (← links)