Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian

DOI10.1007/978-3-642-40313-2_57zbMath1400.03034OpenAlexW93347328MaRDI QIDQ2849950

Ranko Lazić, Joël Ouaknine, James Worrell

Publication date: 20 September 2013

Published in: Mathematical Foundations of Computer Science 2013 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40313-2_57

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Recursive functions and relations, subrecursive hierarchies (03D20) Temporal logic (03B44)

Related Items (2)

Zeno, Hercules, and the Hydra ⋮ Complexity Hierarchies beyond Elementary

This page was built for publication: Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian