Achilles and the tortoise climbing up the arithmetical hierarchy
From MaRDI portal
Publication:5906326
DOI10.1006/jcss.1998.1601zbMath0928.68128MaRDI QIDQ5906326
Publication date: 26 April 1999
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jcss.1998.1601
03D55: Hierarchies of computability and definability
Related Items
Cites Work
- The algorithmic analysis of hybrid systems
- Achilles and the tortoise climbing up the hyper-arithmetical hierarchy
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Some bounds on the computational power of piecewise constant derivative systems (extended abstract)
- Unnamed Item
- Unnamed Item