@PROCEEDINGS{BBMS12,
  title = {Continuity, Computability, Constructivity: From Logic to Algorithms},
  year = {2012},
  editor = {Berger, Ulrich and Brattka, Vasco and Morozov, Andrei S. and Spreen,
	Dieter},
  volume = {163},
  number = {8},
  series = APAL,
  address = {Amsterdam},
  publisher = {Elsevier},
  doi = {10.1016/j.apal.2011.12.019},
  keywords = {bib,cca,facs,team},
  url = {http://www.sciencedirect.com/science/journal/01680072/163/8}
}

{"_id":"KLPHMmFukhK3QGHA2","bibbaseid":"berger-brattka-morozov-spreen-continuitycomputabilityconstructivityfromlogictoalgorithms-2012","authorIDs":[],"bibdata":{"bibtype":"proceedings","type":"proceedings","title":"Continuity, Computability, Constructivity: From Logic to Algorithms","year":"2012","editor":[{"propositions":[],"lastnames":["Berger"],"firstnames":["Ulrich"],"suffixes":[]},{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]},{"propositions":[],"lastnames":["Morozov"],"firstnames":["Andrei","S."],"suffixes":[]},{"propositions":[],"lastnames":["Spreen"],"firstnames":["Dieter"],"suffixes":[]}],"volume":"163","number":"8","address":"Amsterdam","publisher":"Elsevier","doi":"10.1016/j.apal.2011.12.019","keywords":"bib,cca,facs,team","url":"http://www.sciencedirect.com/science/journal/01680072/163/8","bibtex":"@PROCEEDINGS{BBMS12,\r\n title = {Continuity, Computability, Constructivity: From Logic to Algorithms},\r\n year = {2012},\r\n editor = {Berger, Ulrich and Brattka, Vasco and Morozov, Andrei S. and Spreen,\r\n\tDieter},\r\n volume = {163},\r\n number = {8},\r\n series = APAL,\r\n address = {Amsterdam},\r\n publisher = {Elsevier},\r\n doi = {10.1016/j.apal.2011.12.019},\r\n keywords = {bib,cca,facs,team},\r\n url = {http://www.sciencedirect.com/science/journal/01680072/163/8}\r\n}\r\n\r\n","editor_short":["Berger, U.","Brattka, V.","Morozov, A. S.","Spreen, D."],"key":"BBMS12","id":"BBMS12","bibbaseid":"berger-brattka-morozov-spreen-continuitycomputabilityconstructivityfromlogictoalgorithms-2012","role":"editor","urls":{"Paper":"http://www.sciencedirect.com/science/journal/01680072/163/8"},"keyword":["bib","cca","facs","team"],"downloads":0},"bibtype":"proceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.317Z","downloads":0,"keywords":["bib","cca","facs","team"],"search_terms":["continuity","computability","constructivity","logic","algorithms"],"title":"Continuity, Computability, Constructivity: From Logic to Algorithms","year":2012,"dataSources":["t7rKiAbxugj4Agz8M"]}