@INPROCEEDINGS{Her97,
  author = {Hertling, Peter},
  title = {Effectivity and Effective Continuity of Functions between Computable
	Metric Spaces},
  booktitle = {Combinatorics, Complexity, and Logic},
  year = {1997},
  editor = {Bridges, Douglas S. and Calude, Cristian S. and Gibbons, Jeremy and
	Reeves, Steve and Witten, Ian H.},
  series = {Discrete Mathematics and Theoretical Computer Science},
  pages = {264--275},
  address = {Singapore},
  publisher = {Springer},
  note = {Proceedings of DMTCS'96},
  keywords = {bib,cca,thi1}
}

{"_id":"4HqfmZgpXy6HS4pYQ","bibbaseid":"hertling-effectivityandeffectivecontinuityoffunctionsbetweencomputablemetricspaces-1997","authorIDs":[],"author_short":["Hertling, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Hertling"],"firstnames":["Peter"],"suffixes":[]}],"title":"Effectivity and Effective Continuity of Functions between Computable Metric Spaces","booktitle":"Combinatorics, Complexity, and Logic","year":"1997","editor":[{"propositions":[],"lastnames":["Bridges"],"firstnames":["Douglas","S."],"suffixes":[]},{"propositions":[],"lastnames":["Calude"],"firstnames":["Cristian","S."],"suffixes":[]},{"propositions":[],"lastnames":["Gibbons"],"firstnames":["Jeremy"],"suffixes":[]},{"propositions":[],"lastnames":["Reeves"],"firstnames":["Steve"],"suffixes":[]},{"propositions":[],"lastnames":["Witten"],"firstnames":["Ian","H."],"suffixes":[]}],"series":"Discrete Mathematics and Theoretical Computer Science","pages":"264–275","address":"Singapore","publisher":"Springer","note":"Proceedings of DMTCS'96","keywords":"bib,cca,thi1","bibtex":"@INPROCEEDINGS{Her97,\r\n author = {Hertling, Peter},\r\n title = {Effectivity and Effective Continuity of Functions between Computable\r\n\tMetric Spaces},\r\n booktitle = {Combinatorics, Complexity, and Logic},\r\n year = {1997},\r\n editor = {Bridges, Douglas S. and Calude, Cristian S. and Gibbons, Jeremy and\r\n\tReeves, Steve and Witten, Ian H.},\r\n series = {Discrete Mathematics and Theoretical Computer Science},\r\n pages = {264--275},\r\n address = {Singapore},\r\n publisher = {Springer},\r\n note = {Proceedings of DMTCS'96},\r\n keywords = {bib,cca,thi1}\r\n}\r\n\r\n","author_short":["Hertling, P."],"editor_short":["Bridges, D. S.","Calude, C. S.","Gibbons, J.","Reeves, S.","Witten, I. H."],"key":"Her97","id":"Her97","bibbaseid":"hertling-effectivityandeffectivecontinuityoffunctionsbetweencomputablemetricspaces-1997","role":"author","urls":{},"keyword":["bib","cca","thi1"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.743Z","downloads":0,"keywords":["bib","cca","thi1"],"search_terms":["effectivity","effective","continuity","functions","between","computable","metric","spaces","hertling"],"title":"Effectivity and Effective Continuity of Functions between Computable Metric Spaces","year":1997,"dataSources":["t7rKiAbxugj4Agz8M"]}