Increasing interpretations

DOI10.1007/S10472-009-9144-7MaRDI QIDQ1044231zbMATH OpenOpenAlexFDO

Authors Harald Zankl, Aart Middeldorp

Publication date 11 December 2009

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-009-9144-7

zbMATH Keywords

dependency graphterm rewrite systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Artificial intelligence (68T99)

Recommendations

• Increasing Interpretations
• Tuple interpretations for termination of term rewriting
• scientific article; zbMATH DE number 1722702
• Termination of term rewriting by interpretation
• Rewriting Techniques and Applications

Cites work

• Arctic Termination ...Below Zero
• Artificial Intelligence and Symbolic Computation
• Automating the dependency pair method
• Frontiers of Combining Systems
• Increasing Interpretations
• Logic for Programming, Artificial Intelligence, and Reasoning
• Matrix interpretations for proving termination of term rewriting
• Maximal Termination
• Mechanizing and improving dependency pairs
• On tree automata that certify termination of left-linear term rewriting systems
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Proving Termination of Rewrite Systems Using Bounds
• SAT Solving for Termination Analysis with Polynomial Interpretations
• Search Techniques for Rational Polynomial Orders
• Term Rewriting and All That
• Termination by Quasi-periodic Interpretations
• Termination of term rewriting using dependency pairs
• Testing positiveness of polynomials
• Theory and Applications of Satisfiability Testing
• Tyrolean termination tool: techniques and features

Cited in

(2)

• SAT solving for termination proofs with recursive path orders and dependency pairs
• Increasing Interpretations

Describes a project that uses

Uses Software

• AProVE
• Matchbox
• MiniSat
• Tyrolean
• Jambox

This page was built for publication: Increasing interpretations

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