Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Weak Second‐Order Arithmetic and Finite Automata.J. Richard Büchi - 1960 - Mathematical Logic Quarterly 6 (1-6):66-92.
    Download  
     
    Export citation  
     
    Bookmark   58 citations