✦ LIBER ✦

Representation of partial recursive functions with certain conditions in the form of superpositions

✍ Scribed by V. V. Koz'minykh

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Independence of Control Structures i

✍ Gregory A. Riccardi 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 795 KB

On the functional form of partial maskin

✍ Geoffrey J. Iverson; M. Pavel 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 1016 KB

Non-definability of the Ackermann functi

✍ Karl-Heinz Niggl 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 185 KB

Existence of infinite bases with respect

✍ S. S. Marchenkov 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 389 KB

Representation of solutions of linear pa

✍ S. S. Titov 📂 Article 📅 1976 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 243 KB

The undecidability of pattern matching i

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