✦ LIBER ✦

Complexity Results for First-Order Two-Variable Logic with Counting

✍ Scribed by Pacholski, Leszek; Szwast, WiesL aw; Tendera, Lidia

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

First-Order Logic with Two Variables and

✍ Kousha Etessami; Moshe Y. Vardi; Thomas Wilke 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 187 KB

Galerkin Method for First-Order Hyperbol

✍ S. P. Lavrenyuk; M. O. Oliskevych 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 203 KB

On a nonlocal problem for a quasilinear

✍ I. Ya. Kmit' 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 315 KB

On exponent in the Hölder condition for

✍ A. L. Treskunov 📂 Article 📅 2013 🏛 Springer US 🌐 English ⚖ 138 KB

Method of solution of certain boundary v

✍ M.In. Kozmanov 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 456 KB

MAGNA CARTAThe Great CharterPreamble

📂 Fiction 🌐 English ⚖ 11 KB 👁 18 views