✦ LIBER ✦

A Machine-Independent Theory of the Complexity of Recursive Functionsby Manuel Blum

✍ Scribed by Review by: Stephen A. Cook

Book ID: 124959250
Publisher: Association for Symbolic Logic
Year: 1970
Tongue: English
Weight: 316 KB
Volume: 34
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2270887

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Machine-Independent Theory of the Comp

A Machine-Independent Theory of the Complexity of Recursive Functions

✍ Blum, Manuel 📂 Article 📅 1967 🏛 Association for Computing Machinery 🌐 English ⚖ 954 KB

A machine-independent language for the s

A machine-independent language for the simulation of complex chemical and biochemical systems

✍ David Garfinkel 📂 Article 📅 1968 🏛 Elsevier Science 🌐 English ⚖ 923 KB

A language for the simulation of the kinetic behavior of complex chemical or biochemical systems is described and defined. It is written in FORTRAN IV and should run on any medium or large size batch-processing computer (except that machines of short word-length will require double-precision arithme

Mathematical Methods of the Theory of St

Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki

✍ Review by: Steven S. Muchnick 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB