✦ LIBER ✦

Weak MSO with the Unbounding Quantifier

✍ Scribed by Mikołaj Bojańczyk

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Weak quantifier elimination for the full

✍ Aless Lasaruk; Thomas Sturm 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 341 KB

Calculus with the quantifier of elementa

✍ A. G. Pinus 📂 Article 📅 1984 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 394 KB

The Theory of Abelian Groups With the Qu

✍ Andreas Baudisch 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 784 KB

Hanf number for the calculus with the Hä

✍ A. G. Pinus 📂 Article 📅 1979 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 233 KB

The complexity of presburger arithmetic

✍ Martin Fürer 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 683 KB

The intuitionistic propositional calculu

✍ S. K. Sobolev 📂 Article 📅 1977 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 285 KB