✦ LIBER ✦

Degree of undecidability of the completeness problem in algebras of recursive functions

✍ Scribed by Yu. V. Golunkov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Approximate completeness in algebras of

✍ Yu. V. Golunkov 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 563 KB

Problems of completeness in Boolean func

✍ G. E. Tseitlin 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 147 KB

Bases in algebras of partially recursive

✍ Kh. Kh. Nasibullov 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 666 KB

The undecidability of pattern matching i

✍ Gilles Dowek 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 510 KB

The completeness problem in the algebra

✍ B. A. Romov 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 770 KB

The minimum degree of recursively repres

✍ Alain A. Lewis 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 653 KB