TPA
From MaRDI portal
Software:22083
No author found.
Related Items (12)
Relative termination via dependency pairs ⋮ Reducing Relative Termination to Dependency Pair Problems ⋮ Tyrolean termination tool: techniques and features ⋮ Mechanizing and improving dependency pairs ⋮ Unnamed Item ⋮ Termination of just/fair computations in term rewriting ⋮ Termination of narrowing via termination of rewriting ⋮ Certification of Proving Termination of Term Rewriting by Matrix Interpretations ⋮ Methods for Proving Termination of Rewriting-based Programming Languages by Transformation ⋮ Transforming SAT into Termination of Rewriting ⋮ Modular and Certified Semantic Labeling and Unlabeling ⋮ Innermost Termination of Rewrite Systems by Labeling
This page was built for software: TPA
