@INPROCEEDINGS{BLP12a,
  author = {Brattka, Vasco and Le Roux, St{\'e}phane and Pauly, Arno},
  title = {On the Computational Content of the {B}rouwer {F}ixed {P}oint {T}heorem},
  booktitle = {How the World Computes},
  year = {2012},
  editor = {Cooper, S. Barry and Dawar, Anuj and L{\"o}we, Benedikt},
  volume = {7318},
  series = LNCS,
  pages = {57--67},
  address = {Berlin},
  publisher = {Springer},
  note = {Turing Centenary Conference and 8th Conference on Computability in
	Europe, CiE 2012, Cambridge, UK, June 2012},
  doi = {10.1007/978-3-642-30870-3_7},
  file = {BLP12.pdf:BLP12.pdf:PDF;BLP12.pdf:files\\BLP12.pdf:PDF},
  keywords = {bib,cca,facs,team,wei},
  url = {http://dx.doi.org/10.1007/978-3-642-30870-3_7}
}

{"_id":"ASg7x7JW3RujrHfHd","bibbaseid":"brattka-leroux-pauly-onthecomputationalcontentofthebrouwerfixedpointtheorem-2012","authorIDs":["5d78fd3ff08401db01000439"],"author_short":["Brattka, V.","Le Roux, S.","Pauly, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]},{"propositions":[],"lastnames":["Le","Roux"],"firstnames":["Stéphane"],"suffixes":[]},{"propositions":[],"lastnames":["Pauly"],"firstnames":["Arno"],"suffixes":[]}],"title":"On the Computational Content of the Brouwer Fixed Point Theorem","booktitle":"How the World Computes","year":"2012","editor":[{"propositions":[],"lastnames":["Cooper"],"firstnames":["S.","Barry"],"suffixes":[]},{"propositions":[],"lastnames":["Dawar"],"firstnames":["Anuj"],"suffixes":[]},{"propositions":[],"lastnames":["Löwe"],"firstnames":["Benedikt"],"suffixes":[]}],"volume":"7318","series":"Lecture Notes in Computer Science","pages":"57–67","address":"Berlin","publisher":"Springer","note":"Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 2012","doi":"10.1007/978-3-642-30870-3_7","file":"BLP12.pdf:BLP12.pdf:PDF;BLP12.pdf:files\\\\BLP12.pdf:PDF","keywords":"bib,cca,facs,team,wei","url":"http://dx.doi.org/10.1007/978-3-642-30870-3_7","bibtex":"@INPROCEEDINGS{BLP12a,\r\n author = {Brattka, Vasco and Le Roux, St{\\'e}phane and Pauly, Arno},\r\n title = {On the Computational Content of the {B}rouwer {F}ixed {P}oint {T}heorem},\r\n booktitle = {How the World Computes},\r\n year = {2012},\r\n editor = {Cooper, S. Barry and Dawar, Anuj and L{\\\"o}we, Benedikt},\r\n volume = {7318},\r\n series = LNCS,\r\n pages = {57--67},\r\n address = {Berlin},\r\n publisher = {Springer},\r\n note = {Turing Centenary Conference and 8th Conference on Computability in\r\n\tEurope, CiE 2012, Cambridge, UK, June 2012},\r\n doi = {10.1007/978-3-642-30870-3_7},\r\n file = {BLP12.pdf:BLP12.pdf:PDF;BLP12.pdf:files\\\\BLP12.pdf:PDF},\r\n keywords = {bib,cca,facs,team,wei},\r\n url = {http://dx.doi.org/10.1007/978-3-642-30870-3_7}\r\n}\r\n\r\n","author_short":["Brattka, V.","Le Roux, S.","Pauly, A."],"editor_short":["Cooper, S. B.","Dawar, A.","Löwe, B."],"key":"BLP12a","id":"BLP12a","bibbaseid":"brattka-leroux-pauly-onthecomputationalcontentofthebrouwerfixedpointtheorem-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-30870-3_7"},"keyword":["bib","cca","facs","team","wei"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.421Z","downloads":0,"keywords":["bib","cca","facs","team","wei"],"search_terms":["computational","content","brouwer","fixed","point","theorem","brattka","le roux","pauly"],"title":"On the Computational Content of the Brouwer Fixed Point Theorem","year":2012,"dataSources":["t7rKiAbxugj4Agz8M"]}