Pages that link to "Item:Q2867963"
From MaRDI portal
The following pages link to Proving Termination of Context-Sensitive Rewriting with MU-TERM (Q2867963):
Displaying 10 items.
- MU-TERM (Q21990) (← links)
- Multi-completion with termination tools (Q352956) (← links)
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Termination of just/fair computations in term rewriting (Q924727) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting (Q2808236) (← links)
- Proving Termination Properties with mu-term (Q3067476) (← links)
- Usable Rules for Context-Sensitive Rewrite Systems (Q3522013) (← links)
- Operational Termination of Membership Equational Programs: the Order-Sorted Way (Q5179140) (← links)
- Termination of Narrowing Using Dependency Pairs (Q5504664) (← links)
