Local termination: theory and practice

DOI10.2168/LMCS-6(3:20)2010MaRDI QIDQ2786137zbMATH OpenFDO

Authors Jörg Endrullis, Roel de Vrijer, Johannes Waldmann

Publication date 21 September 2010

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-6(3:20)2010

zbMATH Keywords

combinatory logicrecursive program schemeslocal terminationmonotone algebras

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Recommendations

• Local Termination
• scientific article; zbMATH DE number 1761896
• A local termination property for term rewriting systems
• scientific article; zbMATH DE number 3930339
• Induction for termination with local strategies

Cited in

(12)

• Transducer degrees: atoms, infima and suprema
• Patch graph rewriting
• Lazy productivity via termination
• scientific article; zbMATH DE number 7379291 (Why is no real title available?)
• scientific article; zbMATH DE number 7559287 (Why is no real title available?)
• Coinductive foundations of infinitary rewriting and infinitary equational logic
• Local Termination
• An automated approach to the Collatz conjecture
• Localized operational termination in general logics
• An automated approach to the Collatz conjecture
• Induction for termination with local strategies
• From linear term rewriting to graph rewriting with preservation of termination

This page was built for publication: Local termination: theory and practice

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