%0 Journal Article %1 Turing1936 %A Turing, Alan M. %B 2 %D 1936 %J Proceedings of the London Mathematical Society %K computability formallanguages %P 230--265 %T On Computable Numbers, with an application to the Entscheidungsproblem %V 42

@article{Turing1936, added-at = {2011-03-30T17:58:52.000+0200}, author = {Turing, Alan M.}, biburl = {https://www.bibsonomy.org/bibtex/297ba9ab572e2017ce1dd25da3af837af/voj}, interhash = {8ac1f5e961ff74849ab6f0c7348b9c9c}, intrahash = {97ba9ab572e2017ce1dd25da3af837af}, journal = {Proceedings of the London Mathematical Society}, keywords = {computability formallanguages}, pages = {230--265}, series = 2, timestamp = {2011-03-30T17:58:52.000+0200}, title = {On Computable Numbers, with an application to the Entscheidungsproblem}, volume = 42, year = 1936 }