Decidability of second-order theories and automata on infinite trees

^*Corresponding author for this work

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

23 Scopus citations

Original language	English
Pages (from-to)	1025-1029
Number of pages	5
Journal	Bulletin of the American Mathematical Society
Volume	74
Issue number	5
DOIs	https://doi.org/10.1090/S0002-9904-1968-12122-6
State	Published - Sep 1968

Access to Document

@article{644ff410c69e4d8d937826681a31747b,

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

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

year = "1968",

month = sep,

doi = "10.1090/S0002-9904-1968-12122-6",

language = "אנגלית",

volume = "74",

pages = "1025--1029",

journal = "Bulletin of the American Mathematical Society",

issn = "0273-0979",

publisher = "American Mathematical Society",

number = "5",

}

TY - JOUR

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

AU - Rabin, Michael O.

PY - 1968/9

Y1 - 1968/9

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

U2 - 10.1090/S0002-9904-1968-12122-6

DO - 10.1090/S0002-9904-1968-12122-6

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

AN - SCOPUS:75349112525

SN - 0273-0979

VL - 74

SP - 1025

EP - 1029

JO - Bulletin of the American Mathematical Society

JF - Bulletin of the American Mathematical Society

IS - 5

ER -