@ARTICLE{Ken15,
  author = {Kenny, Robert},
  title = {Effective zero-dimensional for computable metric spaces},
  journal = {Logical Methods in Computer Science},
  year = {2015},
  volume = {11},
  pages = {1:11,25},
  doi = {10.2168/LMCS-11(1:11)2015},
  file = {Ken15.pdf:Ken15.pdf:PDF},
  keywords = {bib, cca},
  owner = {Vasco},
  timestamp = {2015.05.05}
}

{"_id":"5nfvNYL7Ewsgq27qt","bibbaseid":"kenny-effectivezerodimensionalforcomputablemetricspaces-2015","authorIDs":[],"author_short":["Kenny, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kenny"],"firstnames":["Robert"],"suffixes":[]}],"title":"Effective zero-dimensional for computable metric spaces","journal":"Logical Methods in Computer Science","year":"2015","volume":"11","pages":"1:11,25","doi":"10.2168/LMCS-11(1:11)2015","file":"Ken15.pdf:Ken15.pdf:PDF","keywords":"bib, cca","owner":"Vasco","timestamp":"2015.05.05","bibtex":"@ARTICLE{Ken15,\r\n author = {Kenny, Robert},\r\n title = {Effective zero-dimensional for computable metric spaces},\r\n journal = {Logical Methods in Computer Science},\r\n year = {2015},\r\n volume = {11},\r\n pages = {1:11,25},\r\n doi = {10.2168/LMCS-11(1:11)2015},\r\n file = {Ken15.pdf:Ken15.pdf:PDF},\r\n keywords = {bib, cca},\r\n owner = {Vasco},\r\n timestamp = {2015.05.05}\r\n}\r\n\r\n","author_short":["Kenny, R."],"key":"Ken15","id":"Ken15","bibbaseid":"kenny-effectivezerodimensionalforcomputablemetricspaces-2015","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.789Z","downloads":0,"keywords":["bib","cca"],"search_terms":["effective","zero","dimensional","computable","metric","spaces","kenny"],"title":"Effective zero-dimensional for computable metric spaces","year":2015,"dataSources":["t7rKiAbxugj4Agz8M"]}