Login / Signup

A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0.

Peter KoepkePhilip D. Welch
Published in: CiE (2011)
Keyphrases