✦ LIBER ✦

A note on undecidable extensions of monadic second order successor arithmetic

✍ Scribed by Thomas, Wolfgang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidable Extensions of Monadic Second

✍ Dirk Siefkes 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 628 KB

TJNDEClDABLE EXTENSIONS OF MONADIC SECOND ORDER SUCCESSOR ARITHMETIC by DIRK SIEFKES in Heidelberg (GFR)

The monadic second-order logic of graphs

✍ Bruno Courcelle 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 282 KB

A note on boundedness of solutions of ce

✍ M.S Zarghamee; B Mehri 📂 Article 📅 1970 🏛 Elsevier Science 🌐 English ⚖ 197 KB

A note on the convergence of trivariate

✍ H. M. Barakat; E. M. Nigm; M. M. Askar 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 180 KB

Note on asymptotic behavior of solutions

✍ Lu-San Chen 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 187 KB

On a second order method for the simulta

✍ Miodrag S. Petković; Lidija V. Stefanović 📂 Article 📅 1986 🏛 Springer Vienna 🌐 English ⚖ 582 KB