@INPROCEEDINGS{Wei00a,
  author = {Weihrauch, Klaus},
  title = {On Computable Metric Spaces {T}ietze-{U}rysohn Extension is Computable},
  booktitle = {Computability and Complexity in Analysis},
  year = {2000},
  editor = {Blanck, Jens and Brattka, Vasco and Hertling, Peter and Weihrauch,
	Klaus},
  volume = {272},
  series = {Informatik Berichte},
  pages = {441--452},
  month = sep,
  publisher = {FernUniversit\"at Hagen},
  note = {CCA 2000 Workshop, Swansea, Wales, September 17--19, 2000},
  keywords = {thi1}
}

{"_id":"Rm2vSHm5rdsfG9KrG","bibbaseid":"weihrauch-oncomputablemetricspacestietzeurysohnextensioniscomputable-2000","authorIDs":[],"author_short":["Weihrauch, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Weihrauch"],"firstnames":["Klaus"],"suffixes":[]}],"title":"On Computable Metric Spaces Tietze-Urysohn Extension is Computable","booktitle":"Computability and Complexity in Analysis","year":"2000","editor":[{"propositions":[],"lastnames":["Blanck"],"firstnames":["Jens"],"suffixes":[]},{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]},{"propositions":[],"lastnames":["Hertling"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Weihrauch"],"firstnames":["Klaus"],"suffixes":[]}],"volume":"272","series":"Informatik Berichte","pages":"441–452","month":"September","publisher":"FernUniversität Hagen","note":"CCA 2000 Workshop, Swansea, Wales, September 17–19, 2000","keywords":"thi1","bibtex":"@INPROCEEDINGS{Wei00a,\r\n author = {Weihrauch, Klaus},\r\n title = {On Computable Metric Spaces {T}ietze-{U}rysohn Extension is Computable},\r\n booktitle = {Computability and Complexity in Analysis},\r\n year = {2000},\r\n editor = {Blanck, Jens and Brattka, Vasco and Hertling, Peter and Weihrauch,\r\n\tKlaus},\r\n volume = {272},\r\n series = {Informatik Berichte},\r\n pages = {441--452},\r\n month = sep,\r\n publisher = {FernUniversit\\\"at Hagen},\r\n note = {CCA 2000 Workshop, Swansea, Wales, September 17--19, 2000},\r\n keywords = {thi1}\r\n}\r\n\r\n","author_short":["Weihrauch, K."],"editor_short":["Blanck, J.","Brattka, V.","Hertling, P.","Weihrauch, K."],"key":"Wei00a","id":"Wei00a","bibbaseid":"weihrauch-oncomputablemetricspacestietzeurysohnextensioniscomputable-2000","role":"author","urls":{},"keyword":["thi1"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.964Z","downloads":0,"keywords":["thi1"],"search_terms":["computable","metric","spaces","tietze","urysohn","extension","computable","weihrauch"],"title":"On Computable Metric Spaces Tietze-Urysohn Extension is Computable","year":2000,"dataSources":["t7rKiAbxugj4Agz8M"]}