|
Deep Blue at the University of Michigan >
Research Collections >
Engineering, College of - Technical Reports >
|
Please use this persistent URL to cite or link to this item:
|
| Title: | Weak second-order arithmetic and finite automata : technical report |
| Authors: | Büchi, J. Richard. |
| Keywords: | Machine theory.
Recursion theory.
Arithmetic -- Foundations. |
| Issue Date: | 1959 |
| Other Identifiers: | UMR1083 |
| Appears in Collections: | Engineering, College of - Technical Reports
|
Deep Blue encourages the fair use of copyrighted material, and you are free to link to content here without asking for permission. Consult the document(s) and/or contact the copyright holder for additional rights questions and requests.
|
