Pages that link to "Item:Q2843601"
From MaRDI portal
The following pages link to Approximations for strategies and termination (Q2843601):
Displaying 10 items.
- Tyrolean termination tool: techniques and features (Q876042) (← links)
- On tree automata that certify termination of left-linear term rewriting systems (Q876043) (← links)
- Mechanizing and improving dependency pairs (Q877836) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- Automating the dependency pair method (Q2486583) (← links)
- The size-change principle and dependency pairs for termination of term rewriting (Q2573795) (← links)
- (Q2980977) (← links)
- (Q4900290) (← links)
- Completeness of tree automata completion (Q4993342) (← links)
- Beyond Dependency Graphs (Q5191112) (← links)