Pages that link to "Item:Q5906326"

The following pages link to Achilles and the tortoise climbing up the arithmetical hierarchy (Q5906326):

Displaying 13 items.

• Computation with perturbed dynamical systems (Q355515) (← links)
• Achilles and the tortoise climbing up the hyper-arithmetical hierarchy (Q1274806) (← 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)
• Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo (Q2870135) (← 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)
• (Q5094870) (← links)
• Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems (Q5326355) (← links)
• (Q5871546) (← links)
• (Q6046173) (← links)