✦ LIBER ✦

Decidability of Second-Order Theories and Automata on Infinite Trees

✍ Scribed by Michael O. Rabin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the theory of infinite linear and qua

✍ V. P. Zarovnyi 📂 Article 📅 1974 🏛 Springer US 🌐 English ⚖ 988 KB

Determinancy of sinking automata on infi

✍ A. Włodzimierz Mostowski 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 680 KB

On first- and second-order moderate rota

✍ E. Sacco; J. N. Reddy 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 898 KB

Homogeneous trees of second order Sturm–

✍ W.Paul Howson; Andrew Watson 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 473 KB

On Second-Order Perturbation Theories of

✍ Matsubara, T. 📂 Article 📅 1995 🏛 Institute of Pure and Applied Physics 🌐 English ⚖ 290 KB

Structural optimization based on second-

✍ Renwei Xia; Peng Liu 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 861 KB