Theory of Algorithms and Discrete Processors
- 1 January 1969
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A Machine-Independent Theory of the Complexity of Recursive FunctionsJournal of the ACM, 1967
- Two-Tape Simulation of Multitape Turing MachinesJournal of the ACM, 1966
- Hierarchies of Computable groups and the word problemThe Journal of Symbolic Logic, 1966
- One-tape, off-line Turing machine computationsInformation and Control, 1965
- On the computational complexity of algorithmsTransactions of the American Mathematical Society, 1965
- Iterative Arrays of Logical CircuitsPublished by MIT Press ,1961
- Iterative circuit computersPublished by Association for Computing Machinery (ACM) ,1960
- On notation for ordinal numbersThe Journal of Symbolic Logic, 1938
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931