✦ LIBER ✦

Effect of the depth of formulas on their complexity

✍ Scribed by O. B. Lupanov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Depth of proofs, depth of cut-formulas a

✍ Wenhui Zhang 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 922 KB

Effect of flow depth on the noneroding v

✍ V. E. Korotkov 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 319 KB

On complexity reduction of Σ1formulas

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

On meta complexity of propositional form

✍ Pavel Naumov 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 213 KB

An improved complexity hierarchy on the

✍ Ingo Wegener 📂 Article 📅 1981 🏛 Springer-Verlag 🌐 English ⚖ 268 KB

The Complexity of Hyperplane Depth in th

✍ Stefan Langerman; William Steiger 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 239 KB