Toward higher-order infinite time Turing machines: simulational $Γ$-machines

Documenti analoghi

• Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
  di: Blanc, Manon, et al.
  Pubblicazione: (2023)
• Measuring robustness of dynamical systems. Relating time and space to length and precision
  di: Blanc, Manon, et al.
  Pubblicazione: (2023)
• Primitive Recursion without Composition: Dynamical Characterizations, from Neural Networks to Polynomial ODEs
  di: Bournez, Olivier
  Pubblicazione: (2026)
• Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides
  di: Bournez, Olivier, et al.
  Pubblicazione: (2026)
• Wadge degrees of $Δ^0_2$ omega-powers
  di: Finkel, Olivier, et al.
  Pubblicazione: (2024)