@INPROCEEDINGS{BS05,
  author = {Brattka, Vasco and Schr{\"{o}}der, Matthias},
  title = {Computing with Sequences, Weak Topologies and the Axiom of Choice},
  booktitle = {Computer science logic},
  year = {2005},
  editor = {Ong, Luke},
  volume = {3634},
  series = LNCS,
  pages = {462--476},
  publisher = {Springer},
  adress = {Berlin},
  file = {BS05.pdf:BS05.pdf:PDF;BS05.pdf:files\\BS05.pdf:PDF},
  keywords = {bib,cca,facs,new},
  notes = {19th International Workshop CSL 2005, Oxford, August 22--25, 2005},
  url = {http://dx.doi.org/10.1007/11538363_32}
}

{"_id":"52sTvqiGAY3KRBLeJ","bibbaseid":"brattka-schrder-computingwithsequencesweaktopologiesandtheaxiomofchoice-2005","authorIDs":["5d78fd3ff08401db01000439"],"author_short":["Brattka, V.","Schröder, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]},{"propositions":[],"lastnames":["Schröder"],"firstnames":["Matthias"],"suffixes":[]}],"title":"Computing with Sequences, Weak Topologies and the Axiom of Choice","booktitle":"Computer science logic","year":"2005","editor":[{"propositions":[],"lastnames":["Ong"],"firstnames":["Luke"],"suffixes":[]}],"volume":"3634","pages":"462–476","publisher":"Springer","adress":"Berlin","file":"BS05.pdf:BS05.pdf:PDF;BS05.pdf:files\\\\BS05.pdf:PDF","keywords":"bib,cca,facs,new","notes":"19th International Workshop CSL 2005, Oxford, August 22–25, 2005","url":"http://dx.doi.org/10.1007/11538363_32","bibtex":"@INPROCEEDINGS{BS05,\r\n author = {Brattka, Vasco and Schr{\\\"{o}}der, Matthias},\r\n title = {Computing with Sequences, Weak Topologies and the Axiom of Choice},\r\n booktitle = {Computer science logic},\r\n year = {2005},\r\n editor = {Ong, Luke},\r\n volume = {3634},\r\n series = LNCS,\r\n pages = {462--476},\r\n publisher = {Springer},\r\n adress = {Berlin},\r\n file = {BS05.pdf:BS05.pdf:PDF;BS05.pdf:files\\\\BS05.pdf:PDF},\r\n keywords = {bib,cca,facs,new},\r\n notes = {19th International Workshop CSL 2005, Oxford, August 22--25, 2005},\r\n url = {http://dx.doi.org/10.1007/11538363_32}\r\n}\r\n\r\n","author_short":["Brattka, V.","Schröder, M."],"editor_short":["Ong, L."],"key":"BS05","id":"BS05","bibbaseid":"brattka-schrder-computingwithsequencesweaktopologiesandtheaxiomofchoice-2005","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/11538363_32"},"keyword":["bib","cca","facs","new"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.493Z","downloads":0,"keywords":["bib","cca","facs","new"],"search_terms":["computing","sequences","weak","topologies","axiom","choice","brattka","schröder"],"title":"Computing with Sequences, Weak Topologies and the Axiom of Choice","year":2005,"dataSources":["t7rKiAbxugj4Agz8M"]}