Büchi-Elgot-Trakhtenbrot theorem (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Büchi-Elgot-Trakhtenbrot theorem" in English language version.

refsWebsite

Global rank English rank

2^nd place

102^nd place

76^th place

11^th place

8^th place

doi.org

Büchi, Julius Richard (1960). "Weak second order arithmetic and finite automata". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 6 (1–6): 66–92. doi:10.1002/malq.19600060105.
Elgot, Calvin C. (1961). "Decision problems of finite automata design and related arithmetics". Transactions of the American Mathematical Society. 98: 21–52. doi:10.1090/S0002-9947-1961-0139530-9. hdl:2027.42/4758. S2CID 119721061.
Trakhtenbrot, Boris A. (1966). "Finite automata and the logic of one-place predicates". American Mathematical Society Translations. American Mathematical Society Translations: Series 2. 59: 23–55. doi:10.1090/trans2/059/02. ISBN 9780821817599.