TPA
From MaRDI portal
Software:22083
swMATH10114MaRDI QIDQ22083FDOQ22083
Author name not available (Why is that?)
Cited In (12)
- Modular and Certified Semantic Labeling and Unlabeling
- Certification of Proving Termination of Term Rewriting by Matrix Interpretations
- Title not available (Why is that?)
- Termination of narrowing via termination of rewriting
- Relative termination via dependency pairs
- Methods for proving termination of rewriting-based programming languages by transformation
- Reducing Relative Termination to Dependency Pair Problems
- Mechanizing and improving dependency pairs
- Tyrolean termination tool: techniques and features
- Termination of just/fair computations in term rewriting
- Transforming SAT into Termination of Rewriting
- Innermost termination of rewrite systems by labeling
This page was built for software: TPA
