✦ LIBER ✦

A characterization of definability of second-order generalized quantifiers with applications to non-definability

✍ Scribed by Kontinen, Juha; Szymanik, Jakub

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Definability of second order generalized

✍ Juha Kontinen 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 234 KB

A regular characterization of graph lang

✍ Joost Engelfriet 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 867 KB

Homoclinic solutions for a class of seco

✍ Qingye Zhang; Lipeng Chu 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 244 KB

Second-Order Quantifier Elimination in H

✍ Dov M. Gabbay; Andrzej Szałas 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 203 KB

Second-order characterizations of tilt s

✍ Mordukhovich, B. S.; Nghia, T. T. A. 📂 Article 📅 2014 🏛 Springer-Verlag 🌐 English ⚖ 295 KB

Regular Languages Defined by Generalized

✍ Straubing; Thérien 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 251 KB