✦ LIBER ✦

Upper Bound on the Height of Terms in Proofs with Bound-Depth-Restricted Cuts

✍ Scribed by B. Yu. Konev

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Upper bound on the lengthening of proofs

✍ V. P. Orevkov 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 689 KB

Upper Bounds on Height of Terms in a Sol

✍ V. B. Zhizhkun 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 236 KB

A sharp upper bound on the incidence ene

✍ Oscar Rojo; Eber Lenes 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 252 KB

An upper bound on the number of cuts nee

✍ Francis J. Nourie; Enrique R. Venta 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 270 KB

Upper bound on the energy gap in terms o

✍ Kuwahara, Tomotaka 📂 Article 📅 2013 🏛 IOP Publishing 🌐 English ⚖ 284 KB

An upper bound on the probability of mis

✍ Binay K. Bhattacharya; Godfried T. Toussaint 📂 Article 📅 1982 🏛 Springer Japan 🌐 English ⚖ 143 KB