Improved Matrix Interpretation

DOI10.1007/978-3-642-11266-9_24zbMath1274.68148OpenAlexW1555572117MaRDI QIDQ3401099

Gladys Gbedo, Olivier Pons, Pierre Courtieu

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)

Related Items (5)

Automatic synthesis of logical models for order-sorted first-order theories ⋮ Size-based termination of higher-order rewriting ⋮ An automated approach to the Collatz conjecture ⋮ Multi-dimensional interpretations for termination of term rewriting ⋮ Tuple interpretations for termination of term rewriting

This page was built for publication: Improved Matrix Interpretation