✦ LIBER ✦

Makanin's algorithm is not primitive recursive

✍ Scribed by Antoni Kościelski; Leszek Pacholski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Two Conjugate Primitive Recursive Permut

✍ Mark Finkelstein 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB

The typed λ-calculus is not elementary r

✍ Richard Statman 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 982 KB

Superlinear speedup of an efficient sequ

✍ V. Faber; Olaf M. Lubeck; Andrew B. White Jr. 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 129 KB

A note on recursive estimator of the den

✍ M.M. El-Fahham 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 237 KB

Comments on “on the proof of a distribut

✍ A.J.M. Van Gasteren; G. Tel 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 239 KB

Existence of a degree of extendability o

✍ E. Z. Dyment 📂 Article 📅 1982 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 224 KB