BibTeX record journals/corr/abs-1207-7148

• > Home > journals/corr/abs-1207-7148

@inproceedings{DBLP:journals/corr/abs-1207-7148,
  author       = {Nachum Dershowitz and
                  Evgenia Falkovich},
  editor       = {Elham Kashefi and
                  Jean Krivine and
                  Femke van Raamsdonk},
  title        = {A Formalization and Proof of the Extended Church-Turing Thesis -Extended
                  Abstract-},
  booktitle    = {Proceedings 7th International Workshop on Developments of Computational
                  Methods, {DCM} 2011, Zurich, Switzerland, 3rd July 2011},
  series       = {{EPTCS}},
  volume       = {88},
  pages        = {72--78},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.88.6},
  doi          = {10.4204/EPTCS.88.6},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-7148.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}