✦ LIBER ✦

Primitive recursive estimate of strong normalization for predicate calculus

✍ Scribed by G. E. Mints

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strong normalization of a symmetric lamb

✍ Yoriyuki Yamagata 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 99 KB

A probabilistic machine for the estimati

✍ S. C. van Westrhenen 📂 Article 📅 1969 🏛 John Wiley and Sons 🌐 English ⚖ 360 KB

Strong consistency and rates for recursi

✍ Elias Masry; László Györfi 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 583 KB