The following pages link to (Q4847000):
Displayed 28 items.
- Lazy productivity via termination (Q549188) (← links)
- Natural termination (Q673622) (← links)
- A new look at the automatic synthesis of linear ranking functions (Q714505) (← links)
- Termination of string rewriting proved automatically (Q850497) (← links)
- Tyrolean termination tool: techniques and features (Q876042) (← links)
- Mechanizing and improving dependency pairs (Q877836) (← links)
- Adding constants to string rewriting (Q945008) (← links)
- Explicit substitution. On the edge of strong normalization (Q1274458) (← links)
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← links)
- Simple termination of rewrite systems (Q1392146) (← links)
- Pattern-matching algorithms based on term rewrite systems (Q1575262) (← links)
- Normalisation for higher-order calculi with explicit substitutions (Q1770414) (← links)
- Zero, successor and equality in BDDs (Q1772774) (← links)
- Right-linear half-monadic term rewrite systems (Q1884902) (← links)
- An improved general path order (Q1925013) (← links)
- Termination of term rewriting using dependency pairs (Q1978641) (← links)
- Termination of Isabelle Functions via Termination of Rewriting (Q3088004) (← links)
- Harnessing First Order Termination Provers Using Higher Order Dependency Pairs (Q3172889) (← links)
- Root-Labeling (Q3522028) (← links)
- Automated Implicit Computational Complexity Analysis (System Description) (Q3541694) (← links)
- From Outermost Termination to Innermost Termination (Q3599101) (← links)
- Local Termination (Q3636830) (← links)
- From Outermost to Context-Sensitive Rewriting (Q3636831) (← links)
- On the Relation between Sized-Types Based Termination and Semantic Labelling (Q3644746) (← links)
- Complexity Analysis by Rewriting (Q5458433) (← links)
- The Derivational Complexity Induced by the Dependency Pair Method (Q5902127) (← links)
- Proof-term synthesis on dependent-type systems via explicit substitutions (Q5958764) (← links)