✦ LIBER ✦

Complexity of the combinator reduction machine

✍ Scribed by Sachio Hirokawa

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The network complexity and the Turing ma

✍ C. P. Schnorr 📂 Article 📅 1976 🏛 Springer-Verlag 🌐 English ⚖ 745 KB

Machine-independent description of certa

✍ S. V. Pakhomov 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 509 KB

The dutch parallel reduction machine pro

✍ H.P. Barendregt; M.C.J.D. Van Eekelen; M.J. Plasmeijer; P.H. Hartel; L.O. Hertzb 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 1010 KB

On complexity reduction of Σ1formulas

✍ Zofia Adamowicz; Pawe Zbierski 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 193 KB

Complexity of single machine, multi-crit

✍ Chuen-Lung Chen; Robert L. Bulfin 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 688 KB

Microprogrammed implementation of a redu

✍ Juarez A. Muylaert Filho; Edil S.T. Fernandes 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 626 KB