scientific article; zbMATH DE number 3304992

zbMATH Open0192.05305MaRDI QIDQ5586296FDOQ5586296

Authors: Stephen Cole Kleene 

Publication date: 1962

Title of this publication is not available (Why is that?)

zbMATH Keywords

recursion theory, constructive mathematics

Cited In (5)

• Cartesian monoids
• Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines
• Discrete transfinite computation models
• Turing oracle machines, online computing, and three displacements in computability theory
• 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)