Translator Disclaimer
September 1968 Decidability of second-order theories and automata on infinite trees
Michael O. Rabin
Bull. Amer. Math. Soc. 74(5): 1025-1029 (September 1968).
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
5 PAGES


SHARE
Vol.74 • No. 5 • September 1968
Back to Top