sha256 — 72BF436929

1 paper found with sha256 equals to 72BF43692995B3032082DA64B7B4CFCE6125F28858EE2977A242A7183446531A.
  1. @article{BUCH60,
     author = {Büchi, J. Richard},
     doi = {10.1002/malq.19600060105},
     journal = {Mathematical Logic Quarterly},
     number = {1--6},
     sha256 = {72BF43692995B3032082DA64B7B4CFCE6125F28858EE2977A242A7183446531A},
     title = {Weak second-order arithmetic and finite automata},
     url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/malq.19600060105},
     volume = {6},
     year = {1960}
    }