References
J Richard Büchi (1960):
Weak Second-Order Arithmetic and Finite Automata
. Mathematical Logic Quarterly 6(1-6), pp. 66–92, doi:
10.1002/malq.19600060105
.
J. Richard Büchi (1960):
On a Decision Method in Restricted Second Order Arithmetic
, pp. 425–435, doi:
10.1007/978-1-4613-8928-6_23
.
Comments and questions to:
eptcs@eptcs.org
For website issues:
webmaster@eptcs.org