✦ LIBER ✦

Data-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

Complexity of the Two-Variable Fragment

✍ Ian Pratt-Hartmann 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 486 KB

On the complexity of the two-variable gu

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

The Complexity of Two-Point Boundary-Val

✍ Arthur G. Werschulz 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 409 KB

The complexity of interpolating given da

✍ David S Scott 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 625 KB

The Complexity of Two-Point Boundary-Val

✍ Arthur G. Werschulz 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 493 KB

Two Non-Henkinian Fragments of the 2-Val

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