References

1. 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.
2. 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