Matrix Interpretations for Proving Termination of Term Rewriting
From MaRDI portal
Publication:3613435
DOI10.1007/11814771_47zbMATH Open1222.68362OpenAlexW1558166004MaRDI QIDQ3613435FDOQ3613435
Hans Zantema, Johannes Waldmann, Jörg Endrullis
Publication date: 12 March 2009
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://research.vu.nl/ws/files/2410076/219625.pdf
Recommendations
- Matrix interpretations for proving termination of term rewriting
- Improved matrix interpretation
- Revisiting matrix interpretations for proving termination of term rewriting
- Termination of String Rewriting with Matrix Interpretations
- Certification of Proving Termination of Term Rewriting by Matrix Interpretations
Cited In (17)
- Tuple interpretations for termination of term rewriting
- Termination by Quasi-periodic Interpretations
- Certification of Proving Termination of Term Rewriting by Matrix Interpretations
- Automatic Termination
- Automatic synthesis of logical models for order-sorted first-order theories
- Normalization of Infinite Terms
- Search Techniques for Rational Polynomial Orders
- Root-Labeling
- Arctic Termination ...Below Zero
- Maximal Termination
- Tyrolean termination tool: techniques and features
- Proving Termination with (Boolean) Satisfaction
- Matrix interpretations for proving termination of term rewriting
- Termination of String Rewriting with Matrix Interpretations
- Termination Analysis of Logic Programs Based on Dependency Graphs
- From Outermost to Context-Sensitive Rewriting
- Proving Infinitary Normalization
Uses Software
This page was built for publication: Matrix Interpretations for Proving Termination of Term Rewriting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613435)
