Local Termination
From MaRDI portal
Recommendations
- Local termination: theory and practice
- Local branching
- Local induction
- Local reduction
- scientific article; zbMATH DE number 3930339
- scientific article; zbMATH DE number 3222140
- scientific article; zbMATH DE number 7568174
- scientific article; zbMATH DE number 3957242
- scientific article; zbMATH DE number 5050432
- Local acausality
Cites work
- scientific article; zbMATH DE number 1729952 (Why is no real title available?)
- scientific article; zbMATH DE number 1332639 (Why is no real title available?)
- scientific article; zbMATH DE number 794240 (Why is no real title available?)
- A Transformational Approach to Prove Outermost Termination Automatically
- Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
- Certification of Proving Termination of Term Rewriting by Matrix Interpretations
- Match-bounded string rewriting systems
- Matrix interpretations for proving termination of term rewriting
- Proving Infinitary Normalization
- Rewriting Techniques and Applications
- Structural analysis of narratives with the Coq proof assistant
- Termination of term rewriting using dependency pairs
- The combinator S
- The lambda calculus. Its syntax and semantics. Rev. ed.
Cited in
(5)- Automatic Termination
- Local termination: theory and practice
- Characterizing and proving operational termination of deterministic conditional term rewriting systems
- Reachability, confluence, and termination analysis with state-compatible automata
- From linear term rewriting to graph rewriting with preservation of termination
This page was built for publication: Local Termination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3636830)
