BibTeX record books/sp/16/SiegSM16

download as .bib file

@incollection{DBLP:books/sp/16/SiegSM16,
  author       = {Wilfried Sieg and
                  M{\'{a}}t{\'{e}} Szab{\'{o}} and
                  Dawn McLaughlin},
  editor       = {Eugenio G. Omodeo and
                  Alberto Policriti},
  title        = {Why Post Did [Not] Have Turing's Thesis},
  booktitle    = {Martin Davis on Computability, Computational Logic, and Mathematical
                  Foundations},
  series       = {Outstanding Contributions to Logic},
  volume       = {10},
  pages        = {175--208},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41842-1\_7},
  doi          = {10.1007/978-3-319-41842-1\_7},
  timestamp    = {Fri, 28 Dec 2018 18:09:06 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/SiegSM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics