Local Termination: theory and practice
From MaRDI portal
Publication:2786137
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)
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