Improved matrix interpretation

DOI10.1007/978-3-642-11266-9_24zbMATH Open1274.68148OpenAlexW1555572117MaRDI QIDQ3401099FDOQ3401099

Authors: Pierre Courtieu, Gladys Gbedo, Olivier Pons 

Publication date: 28 January 2010

Published in: SOFSEM 2010: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11266-9_24

Recommendations

• Matrix Interpretations for Proving Termination of Term Rewriting
• Matrix interpretations for proving termination of term rewriting
• Revisiting matrix interpretations for proving termination of term rewriting
• Termination of String Rewriting with Matrix Interpretations
• From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (14)

• Matrix Interpretations for Proving Termination of Term Rewriting
• Tuple interpretations for termination of term rewriting
• Multi-dimensional interpretations for termination of term rewriting
• Certification of Proving Termination of Term Rewriting by Matrix Interpretations
• Automatic synthesis of logical models for order-sorted first-order theories
• Size-based termination of higher-order rewriting
• Termination of cycle rewriting by transformation and matrix interpretation
• Mechanically proving termination using polynomial interpretations
• Matrix interpretations on polyhedral domains
• Revisiting matrix interpretations for proving termination of term rewriting
• An automated approach to the Collatz conjecture
• Matrix interpretations for proving termination of term rewriting
• Termination of String Rewriting with Matrix Interpretations
• On the domain and dimension hierarchy of matrix interpretations

This page was built for publication: Improved matrix interpretation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3401099)