%0 Journal Article %1 journals/jacm/BurksW57 %A Burks, Arthur W. %A Wang, Hao %D 1957 %J J. ACM %K dblp %N 2 %P 193-218 %T The Logic of Automata - Part I. %U http://dblp.uni-trier.de/db/journals/jacm/jacm4.html#BurksW57 %V 4

@article{journals/jacm/BurksW57, added-at = {2018-11-06T00:00:00.000+0100}, author = {Burks, Arthur W. and Wang, Hao}, biburl = {https://www.bibsonomy.org/bibtex/259d261e75dec5de225bcbcb206d7cfb4/dblp}, ee = {https://doi.org/10.1145/320868.320880}, interhash = {daa6cffd06e14ca3a394519d027b16b6}, intrahash = {59d261e75dec5de225bcbcb206d7cfb4}, journal = {J. ACM}, keywords = {dblp}, number = 2, pages = {193-218}, timestamp = {2018-11-07T12:09:30.000+0100}, title = {The Logic of Automata - Part I.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm4.html#BurksW57}, volume = 4, year = 1957 }