Arctic Termination ...Below Zero

DOI10.1007/978-3-540-70590-1_14zbMath1145.68450OpenAlexW1504878076MaRDI QIDQ3522019

Adam Koprowski, Johannes Waldmann

Publication date: 28 August 2008

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70590-1_14

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (10)

KBO orientability ⋮ Termination of Cycle Rewriting by Transformation and Matrix Interpretation ⋮ Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings ⋮ Arctic Termination ...Below Zero ⋮ Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems ⋮ Automatic Termination ⋮ CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates ⋮ The Derivational Complexity Induced by the Dependency Pair Method ⋮ Increasing interpretations ⋮ Increasing Interpretations

Uses Software

• Coq

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tyrolean termination tool: techniques and features
• Modular termination proofs for rewriting using dependency pairs
• Termination of term rewriting using dependency pairs
• Interacting with Modal Logics in the Coq Proof Assistant
• Arctic Termination ...Below Zero
• TPA: Termination Proved Automatically
• Termination of String Rewriting with Matrix Interpretations
• Proving Termination by Bounded Increase
• Matrix Interpretations for Proving Termination of Term Rewriting
• Methods and applications of (max,+) linear algebra
• Termination proofs and the length of derivations
• The equality problem for rational series with multiplicities in the tropical semiring is undecidable
• Theory and Applications of Satisfiability Testing
• Termination by Quasi-periodic Interpretations
• Certification of Proving Termination of Term Rewriting by Matrix Interpretations
• Artificial Intelligence and Symbolic Computation

This page was built for publication: Arctic Termination ...Below Zero