On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category

Documenti analoghi

• Zeta Functions and the (Linear) Logic of Markov Processes
  di: Seiller, Thomas
  Pubblicazione: (2020)
• 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)
• Snakes can be fooled into thinking they live in a tree
  di: Bartholdi, Laurent, et al.
  Pubblicazione: (2024)
• The domino problem is decidable for robust tilesets
  di: Aubrun, Nathalie, et al.
  Pubblicazione: (2024)