Tyrolean termination tool

DOI10.1007/978-3-540-32033-3_14MaRDI QIDQ5703847zbMATH OpenOpenAlexFDO

Authors Nao Hirokawa, Aart Middeldorp

Publication date 11 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b135673

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Tyrolean termination tool: techniques and features
• Tsukuba termination tool
• Nagoya termination tool
• Termination Analysis by Dependency Pairs and Inductive Theorem Proving
• TPA: Termination Proved Automatically

Cited in

(21)

• FORT 2.0
• Proving operational termination of membership equational programs
• On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting
• \texttt{Autowrite}: a tool for term rewrite systems and tree automata
• Proving termination of context-sensitive rewriting with MU-TERM
• TPA: Termination Proved Automatically
• Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems
• MTT: The Maude Termination Tool (System Description)
• Certifying a Termination Criterion Based on Graphs, without Graphs
• Real_Impl
• Tsukuba termination tool
• Reachability, confluence, and termination analysis with state-compatible automata
• Nagoya termination tool
• Polynomials over the reals in proofs of termination : from theory to practice
• Proving Termination with (Boolean) Satisfaction
• Proving termination of context-sensitive rewriting by transformation
• Tyrolean termination tool: techniques and features
• On tree automata that certify termination of left-linear term rewriting systems
• Mechanizing and improving dependency pairs
• Termination of just/fair computations in term rewriting
• Matrix interpretations for proving termination of term rewriting

Describes a project that uses

Uses Software

• Tyrolean

This page was built for publication: Tyrolean termination tool

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