✦ LIBER ✦

Enumerations in computable structure theory

✍ Scribed by Sergey Goncharov; Valentina Harizanov; Julia Knight; Charles McCoy; Russell Miller; Reed Solomon

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Uniformity in Computable Structure Theor

✍ R.G. Downey; D.R. Hirschfeldt; B. Khoussainov 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 247 KB

On structure enumeration theory

✍ K.R. Parthasarathy; M.R. Sridharan 📂 Article 📅 1971 🏛 Elsevier Science ⚖ 704 KB

DEFINABILITY OF RECURSIVELY ENUMERABLE S

✍ Robert E. Byerly 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 330 KB

Gauge invariant computable quantities in

✍ Jonathan Maltz 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 832 KB

[Part 1: Physical Sciences] || Enumerati

✍ R. E. Merrifield and H. E. Simmons 📂 Article 📅 1981 🏛 National Academy of Sciences 🌐 English ⚖ 505 KB

Strong noncuppability in low computably

✍ M. M. Yamaleev 📂 Article 📅 2010 🏛 Allerton Press, Inc. 🌐 English ⚖ 549 KB