Local Termination: theory and practice

DOI10.2168/LMCS-6(3:20)2010zbMath1211.68085MaRDI QIDQ2786137

Jörg Endrullis, Johannes Waldmann, Roel de Vrijer

Publication date: 21 September 2010

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

zbMATH Keywords

recursive program schemescombinatory logiclocal terminationmonotone algebras

Mathematics Subject Classification ID

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

Related Items (9)

Transducer degrees: atoms, infima and suprema ⋮ Patch Graph Rewriting ⋮ Unnamed Item ⋮ Lazy productivity via termination ⋮ An automated approach to the Collatz conjecture ⋮ Unnamed Item ⋮ An automated approach to the Collatz conjecture ⋮ Unnamed Item ⋮ Localized Operational Termination in General Logics

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