Login / Signup

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations.

Manon BlancOlivier Bournez
Published in: CoRR (2023)
Keyphrases