✦ LIBER ✦

On Bar Recursion of Types 0 and 1

✍ Scribed by Helmut Schwichtenberg

Book ID: 124963675
Publisher: Association for Symbolic Logic
Year: 1979
Tongue: English
Weight: 151 KB
Volume: 44
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2273126

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Spector's bar recursion

✍ Paulo Oliva; Thomas Powell 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 162 KB

The equivalence of bar recursion and ope

The equivalence of bar recursion and open recursion

✍ Powell, Thomas 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 575 KB

On Resemblance and Recursive Isomorphism

On Resemblance and Recursive Isomorphism Types of Partial Recursive Functions

✍ E.A. Polyakov 📂 Article 📅 2001 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 129 KB

Atomic-level computer simulation of the

Atomic-level computer simulation of the interaction between $\frac{1}{3}\langle 1\,1\,\bar{2}\,0 \rangle\{1\,\bar{1}\,0\,0\}$ dislocations and $\frac{1}{3}\langle 1\,1\,\bar{2}\,0 \rangle$ interstitial loops in α -zirconium

✍ Serra, A; Bacon, D J 📂 Article 📅 2013 🏛 Institute of Physics 🌐 English ⚖ 906 KB

Defect reduction in non-polar (11$ \bar

Defect reduction in non-polar (11$ \bar 2 $0) GaN grown on (1$ \bar 1 $02) sapphire

✍ Johnston, Carol F. ;Kappers, Menno J. ;Moram, Michelle A. ;Hollander, Jonathan L 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 690 KB

## Abstract This work assesses the relative effectiveness of different techniques to reduce defect density in heteroepitaxial, non‐polar, __a__ ‐plane GaN films grown on __r__ ‐plane sapphire by MOVPE. Plan view TEM was used to obtain the defect density of films grown by different methods. The as‐g

On the resemblance and recursive isomorp

On the resemblance and recursive isomorphism types of partial recursive functions

✍ N. V. Litvinov 📂 Article 📅 2000 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 178 KB