@INPROCEEDINGS{BS93,
  author = {Blum, Lenore and Smale, Steve},
  title = {The {G}\"{o}del incompleteness theorem and decidability over a ring},
  booktitle = {From Topology to Computation: Proceedings of the Smalefest},
  year = {1993},
  editor = {Hirsch, Morris W. and Marsden, Jerrold E. and Shub, Michael},
  pages = {321--339},
  address = {New York},
  publisher = {Springer},
  file = {BS93.pdf:BS93.pdf:PDF}
}

{"_id":"JRwiWA4pKcQbXtKgy","bibbaseid":"blum-smale-thegdelincompletenesstheoremanddecidabilityoveraring-1993","authorIDs":[],"author_short":["Blum, L.","Smale, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Blum"],"firstnames":["Lenore"],"suffixes":[]},{"propositions":[],"lastnames":["Smale"],"firstnames":["Steve"],"suffixes":[]}],"title":"The Gödel incompleteness theorem and decidability over a ring","booktitle":"From Topology to Computation: Proceedings of the Smalefest","year":"1993","editor":[{"propositions":[],"lastnames":["Hirsch"],"firstnames":["Morris","W."],"suffixes":[]},{"propositions":[],"lastnames":["Marsden"],"firstnames":["Jerrold","E."],"suffixes":[]},{"propositions":[],"lastnames":["Shub"],"firstnames":["Michael"],"suffixes":[]}],"pages":"321–339","address":"New York","publisher":"Springer","file":"BS93.pdf:BS93.pdf:PDF","bibtex":"@INPROCEEDINGS{BS93,\r\n author = {Blum, Lenore and Smale, Steve},\r\n title = {The {G}\\\"{o}del incompleteness theorem and decidability over a ring},\r\n booktitle = {From Topology to Computation: Proceedings of the Smalefest},\r\n year = {1993},\r\n editor = {Hirsch, Morris W. and Marsden, Jerrold E. and Shub, Michael},\r\n pages = {321--339},\r\n address = {New York},\r\n publisher = {Springer},\r\n file = {BS93.pdf:BS93.pdf:PDF}\r\n}\r\n\r\n","author_short":["Blum, L.","Smale, S."],"editor_short":["Hirsch, M. W.","Marsden, J. E.","Shub, M."],"key":"BS93","id":"BS93","bibbaseid":"blum-smale-thegdelincompletenesstheoremanddecidabilityoveraring-1993","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:34.752Z","downloads":0,"keywords":[],"search_terms":["del","incompleteness","theorem","decidability","over","ring","blum","smale"],"title":"The Gödel incompleteness theorem and decidability over a ring","year":1993,"dataSources":["t7rKiAbxugj4Agz8M"]}