@INCOLLECTION{Sch09,
  author = {Schwichtenberg, Helmut},
  title = {Program extraction in constructive analysis},
  booktitle = {Logicism, intuitionism, and formalism},
  publisher = {Springer},
  year = {2009},
  volume = {341},
  series = {Synth. Libr.},
  pages = {255--275},
  address = {Dordrecht},
  doi = {10.1007/978-1-4020-8926-8_13},
  keywords = {bib,con},
  mrclass = {03F60 (03B35 68T15)},
  mrnumber = {2509662 (2010g:03101)},
  owner = {Vasco},
  timestamp = {2013.12.01},
  url = {http://dx.doi.org/10.1007/978-1-4020-8926-8_13}
}

{"_id":"4of9kXmc2PmeJCq22","bibbaseid":"schwichtenberg-programextractioninconstructiveanalysis-2009","authorIDs":[],"author_short":["Schwichtenberg, H."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"propositions":[],"lastnames":["Schwichtenberg"],"firstnames":["Helmut"],"suffixes":[]}],"title":"Program extraction in constructive analysis","booktitle":"Logicism, intuitionism, and formalism","publisher":"Springer","year":"2009","volume":"341","series":"Synth. Libr.","pages":"255–275","address":"Dordrecht","doi":"10.1007/978-1-4020-8926-8_13","keywords":"bib,con","mrclass":"03F60 (03B35 68T15)","mrnumber":"2509662 (2010g:03101)","owner":"Vasco","timestamp":"2013.12.01","url":"http://dx.doi.org/10.1007/978-1-4020-8926-8_13","bibtex":"@INCOLLECTION{Sch09,\r\n author = {Schwichtenberg, Helmut},\r\n title = {Program extraction in constructive analysis},\r\n booktitle = {Logicism, intuitionism, and formalism},\r\n publisher = {Springer},\r\n year = {2009},\r\n volume = {341},\r\n series = {Synth. Libr.},\r\n pages = {255--275},\r\n address = {Dordrecht},\r\n doi = {10.1007/978-1-4020-8926-8_13},\r\n keywords = {bib,con},\r\n mrclass = {03F60 (03B35 68T15)},\r\n mrnumber = {2509662 (2010g:03101)},\r\n owner = {Vasco},\r\n timestamp = {2013.12.01},\r\n url = {http://dx.doi.org/10.1007/978-1-4020-8926-8_13}\r\n}\r\n\r\n","author_short":["Schwichtenberg, H."],"key":"Sch09","id":"Sch09","bibbaseid":"schwichtenberg-programextractioninconstructiveanalysis-2009","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-1-4020-8926-8_13"},"keyword":["bib","con"],"downloads":0},"bibtype":"incollection","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:54.041Z","downloads":0,"keywords":["bib","con"],"search_terms":["program","extraction","constructive","analysis","schwichtenberg"],"title":"Program extraction in constructive analysis","year":2009,"dataSources":["t7rKiAbxugj4Agz8M"]}