Pages that link to "Item:Q5049021"
From MaRDI portal
The following pages link to mu-term: Verify Termination Properties Automatically (System Description) (Q5049021):
Displaying 5 items.
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Derivational complexity and context-sensitive Rewriting (Q2069872) (← links)
- Tuple interpretations for termination of term rewriting (Q2102931) (← links)
- Term orderings for non-reachability of (conditional) rewriting (Q2104512) (← links)
- From innermost to full almost-sure termination of probabilistic term rewriting (Q6629527) (← links)
