✦ LIBER ✦

Automata on Infinite Objects and Church's Problem.by Michael O. Rabin

✍ Scribed by Review by: Dirk Siefkes

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidability of Second-order Theories an

✍ Review by: Dirk Siefkes 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 185 KB

[Lecture Notes in Computer Science] Auto

✍ Nivat, M.; Perrin, D. 📂 Article 📅 1985 🏛 Springer Berlin Heidelberg ⚖ 423 KB

Decidability of Second-Order Theories an

✍ Michael O. Rabin 📂 Article 📅 1969 🏛 American Mathematical Society 🌐 English ⚖ 862 KB