@PROCEEDINGS{IKP+17,
  title = {Special issue: {C}ontinuity, computability, constructivity: from
	logic to algorithms 2013},
  year = {2017},
  editor = {Ishihara, Hajime and Korovina, Margarita and Pauly, Arno and Seisenberger,
	Monika and Spreen, Dieter},
  volume = {27},
  number = {8},
  series = {Mathematical Structures in Computer Science},
  publisher = {Cambridge University Press},
  doi = {10.1017/S0960129516000086},
  file = {IKP+17.pdf:IKP+17.pdf:PDF},
  keywords = {bib, cca},
  pages = {1285--1286}
}

{"_id":"4AquLhTbJXqBTXw89","bibbaseid":"ishihara-korovina-pauly-seisenberger-spreen-specialissuecontinuitycomputabilityconstructivityfromlogictoalgorithms2013-2017","authorIDs":[],"bibdata":{"bibtype":"proceedings","type":"proceedings","title":"Special issue: Continuity, computability, constructivity: from logic to algorithms 2013","year":"2017","editor":[{"propositions":[],"lastnames":["Ishihara"],"firstnames":["Hajime"],"suffixes":[]},{"propositions":[],"lastnames":["Korovina"],"firstnames":["Margarita"],"suffixes":[]},{"propositions":[],"lastnames":["Pauly"],"firstnames":["Arno"],"suffixes":[]},{"propositions":[],"lastnames":["Seisenberger"],"firstnames":["Monika"],"suffixes":[]},{"propositions":[],"lastnames":["Spreen"],"firstnames":["Dieter"],"suffixes":[]}],"volume":"27","number":"8","series":"Mathematical Structures in Computer Science","publisher":"Cambridge University Press","doi":"10.1017/S0960129516000086","file":"IKP+17.pdf:IKP+17.pdf:PDF","keywords":"bib, cca","pages":"1285–1286","bibtex":"@PROCEEDINGS{IKP+17,\r\n title = {Special issue: {C}ontinuity, computability, constructivity: from\r\n\tlogic to algorithms 2013},\r\n year = {2017},\r\n editor = {Ishihara, Hajime and Korovina, Margarita and Pauly, Arno and Seisenberger,\r\n\tMonika and Spreen, Dieter},\r\n volume = {27},\r\n number = {8},\r\n series = {Mathematical Structures in Computer Science},\r\n publisher = {Cambridge University Press},\r\n doi = {10.1017/S0960129516000086},\r\n file = {IKP+17.pdf:IKP+17.pdf:PDF},\r\n keywords = {bib, cca},\r\n pages = {1285--1286}\r\n}\r\n\r\n","editor_short":["Ishihara, H.","Korovina, M.","Pauly, A.","Seisenberger, M.","Spreen, D."],"key":"IKP+17","id":"IKP+17","bibbaseid":"ishihara-korovina-pauly-seisenberger-spreen-specialissuecontinuitycomputabilityconstructivityfromlogictoalgorithms2013-2017","role":"editor","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"proceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.767Z","downloads":0,"keywords":["bib","cca"],"search_terms":["special","issue","continuity","computability","constructivity","logic","algorithms","2013"],"title":"Special issue: Continuity, computability, constructivity: from logic to algorithms 2013","year":2017,"dataSources":["t7rKiAbxugj4Agz8M"]}