✦ LIBER ✦

On complexity reduction of Σ1formulas

✍ Scribed by Zofia Adamowicz; Pawe Zbierski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Effect of the depth of formulas on their

✍ O. B. Lupanov 📂 Article 📅 1973 🏛 Springer US 🌐 English ⚖ 235 KB

On meta complexity of propositional form

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

Depth of proofs, depth of cut-formulas a

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

DFT Study for the Reduction of N2O(1Σ+)

✍ Fengxia Liu; Jianhui Zhang; Minzhe Hu; Yongcheng Wang; Yanli Leng 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 298 KB

On the MgO bands of the E1Σ-X1Σ system

✍ A. Antić-Jovanović; D.S. Pešić; V. Bojović 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 191 KB

Hypergeometric Reduction Formulas Involv

✍ P.W. Karlsson 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 245 KB