Pages that link to "Item:Q3613435"
From MaRDI portal
The following pages link to Matrix Interpretations for Proving Termination of Term Rewriting (Q3613435):
Displaying 12 items.
- Tyrolean termination tool: techniques and features (Q876042) (← links)
- Matrix interpretations for proving termination of term rewriting (Q928655) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Arctic Termination ...Below Zero (Q3522019) (← links)
- Root-Labeling (Q3522028) (← links)
- Normalization of Infinite Terms (Q3522036) (← links)
- From Outermost to Context-Sensitive Rewriting (Q3636831) (← links)
- Proving Infinitary Normalization (Q3638246) (← links)
- Certification of Proving Termination of Term Rewriting by Matrix Interpretations (Q5448658) (← links)
- Proving Termination with (Boolean) Satisfaction (Q5504589) (← links)
- Termination Analysis of Logic Programs Based on Dependency Graphs (Q5504590) (← links)
- Search Techniques for Rational Polynomial Orders (Q5505493) (← links)