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 logiclocal terminationmonotone algebrasrecursive program schemes

Mathematics Subject Classification ID

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

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)

• An automated approach to the Collatz conjecture
• Transducer degrees: atoms, infima and suprema
• Induction for termination with local strategies
• Local Termination
• Coinductive foundations of infinitary rewriting and infinitary equational logic
• scientific article; zbMATH DE number 7379291 (Why is no real title available?)
• Sparse tiling through overlap closures for termination of string rewriting
• Patch graph rewriting
• Localized operational termination in general logics
• Lazy productivity via termination
• An automated approach to the Collatz conjecture
• 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)