scientific article; zbMATH DE number 3304992

MaRDI QIDQ5586296zbMATH OpenFDO

Authors Stephen Cole Kleene

Publication date 1962

zbMATH Keywords

recursion theory, constructive mathematics

Cited in

(4)

• Turing oracle machines, online computing, and three displacements in computability theory
• Cartesian monoids
• Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines
• Generalized computations over regular enumerations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5586296)