Improved matrix interpretation

DOI10.1007/978-3-642-11266-9_24MaRDI QIDQ3401099zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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

Cited in

(14)

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

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)