✦ LIBER ✦

Complexity of the Two-Variable Fragment with Counting Quantifiers

✍ Scribed by Ian Pratt-Hartmann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Data-complexity of the two-variable frag

✍ Ian Pratt-Hartmann 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 463 KB

Complexity Results for First-Order Two-V

✍ Pacholski, Leszek; Szwast, WiesL aw; Tendera, Lidia 📂 Article 📅 2000 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 648 KB

On the complexity of the two-variable gu

✍ Emanuel Kieroński 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 440 KB

Two Non-Henkinian Fragments of the 2-Val

✍ Alan Rose 📂 Article 📅 1965 🏛 John Wiley and Sons 🌐 English ⚖ 458 KB

Complexity of metric temporal logics wit

✍ Alexander Rabinovich 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 397 KB

Quantifying the sources of variability i

✍ M.J. Denwood; S. Love; G.T. Innocent; L. Matthews; I.J. McKendrick; N. Hillary; 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 333 KB