✦ LIBER ✦

Recursive Function Theory and Speed of Computation.by Manuel Blum

✍ Scribed by Review by: Paul Young

Book ID: 124972761
Publisher: Association for Symbolic Logic
Year: 1972
Tongue: English
Weight: 223 KB
Volume: 37
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272621

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 Functionsby Manuel Blum

✍ Review by: Stephen A. Cook 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 316 KB

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

Recursive Functions of Symbolic Expressi

Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part Iby John McCarthy

✍ Review by: Martin Davis 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 206 KB

On A Theorem Equivalent to Post's Fundam

On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory

✍ Albert A. Mullin 📂 Article 📅 1963 🏛 John Wiley and Sons 🌐 English ⚖ 177 KB 👁 1 views

Electron affinities of metals computed b

Electron affinities of metals computed by density functional theory and ab initio methods

✍ Branko S. Jursic 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB 👁 2 views

An extensive computational study of the meal electron affinity was performed using the Ž . ab initio and density functional theory DFT methods. HF, MP2, MP3, MP4, QCISD, and Ž . QCISD T was used as computational methods, while the hybrid, local, and nonlocal DFT methods with the LYP, P86, PW91, and

A computational investigation of boron-d

A computational investigation of boron-doped chromium and chromium clusters by density functional theory

✍ GuiXian Ge; Qun Jing; YouHua Luo 📂 Article 📅 2010 🏛 Science in China Press (SCP) 🌐 English ⚖ 812 KB