Decidability of second-order theories and automata on infinite trees

Research output: Contribution to journal › Article › peer-review

1036 Scopus citations

Original language	English
Pages (from-to)	1-35
Number of pages	35
Journal	Transactions of the American Mathematical Society
Volume	141
DOIs	https://doi.org/10.1090/S0002-9947-1969-0246760-1
State	Published - 1969

Access to Document

@article{559f14dfd5384b648a0fdd62d47a22c1,

title = "Decidability of second-order theories and automata on infinite trees",

author = "Rabin, \{Michael O.\}",

year = "1969",

doi = "10.1090/S0002-9947-1969-0246760-1",

language = "אנגלית",

volume = "141",

pages = "1--35",

journal = "Transactions of the American Mathematical Society",

issn = "0002-9947",

publisher = "American Mathematical Society",

}

TY - JOUR

T1 - Decidability of second-order theories and automata on infinite trees

AU - Rabin, Michael O.

PY - 1969

Y1 - 1969

UR - https://www.scopus.com/pages/publications/84968501436

U2 - 10.1090/S0002-9947-1969-0246760-1

DO - 10.1090/S0002-9947-1969-0246760-1

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84968501436

SN - 0002-9947

VL - 141

SP - 1

EP - 35

JO - Transactions of the American Mathematical Society

JF - Transactions of the American Mathematical Society

ER -