Pages that link to "Item:Q5906326"
From MaRDI portal
The following pages link to Achilles and the tortoise climbing up the arithmetical hierarchy (Q5906326):
Displaying 8 items.
- Computation with perturbed dynamical systems (Q355515) (← links)
- How much can analog and hybrid systems be proved (super-)Turing (Q2497875) (← links)
- Elementarily computable functions over the real numbers and \(\mathbb R\)-sub-recursive functions (Q2581262) (← links)
- Classes of Timed Automata and the Undecidability of Universality (Q2842589) (← links)
- Computability and Dynamical Systems (Q2908425) (← links)
- Turing Machines Can Be Efficiently Simulated by the General Purpose Analog Computer (Q4922124) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems (Q5326355) (← links)