@INPROCEEDINGS{Ish07,
  author = {Ishihara, Hajime},
  title = {Unique Existence and Computability in Constructive Reverse Mathematics},
  booktitle = {Computation and Logic in the Real World},
  year = {2007},
  editor = {Cooper, S. Barry and L{\"o}we, Benedikt and Sorbi, Andrea},
  volume = {4497},
  series = LNCS,
  pages = {368--377},
  address = {Berlin},
  publisher = {Springer},
  note = {Third Conference on Computability in Europe, CiE 2007, Siena, Italy,
	June 18-23, 2007},
  keywords = {bib,con},
  url = {http://dx.doi.org/10.1007/978-3-540-73001-9_38}
}

{"_id":"bANo3hcS2mEKyGXhz","bibbaseid":"ishihara-uniqueexistenceandcomputabilityinconstructivereversemathematics-2007","authorIDs":[],"author_short":["Ishihara, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Ishihara"],"firstnames":["Hajime"],"suffixes":[]}],"title":"Unique Existence and Computability in Constructive Reverse Mathematics","booktitle":"Computation and Logic in the Real World","year":"2007","editor":[{"propositions":[],"lastnames":["Cooper"],"firstnames":["S.","Barry"],"suffixes":[]},{"propositions":[],"lastnames":["Löwe"],"firstnames":["Benedikt"],"suffixes":[]},{"propositions":[],"lastnames":["Sorbi"],"firstnames":["Andrea"],"suffixes":[]}],"volume":"4497","pages":"368–377","address":"Berlin","publisher":"Springer","note":"Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007","keywords":"bib,con","url":"http://dx.doi.org/10.1007/978-3-540-73001-9_38","bibtex":"@INPROCEEDINGS{Ish07,\r\n author = {Ishihara, Hajime},\r\n title = {Unique Existence and Computability in Constructive Reverse Mathematics},\r\n booktitle = {Computation and Logic in the Real World},\r\n year = {2007},\r\n editor = {Cooper, S. Barry and L{\\\"o}we, Benedikt and Sorbi, Andrea},\r\n volume = {4497},\r\n series = LNCS,\r\n pages = {368--377},\r\n address = {Berlin},\r\n publisher = {Springer},\r\n note = {Third Conference on Computability in Europe, CiE 2007, Siena, Italy,\r\n\tJune 18-23, 2007},\r\n keywords = {bib,con},\r\n url = {http://dx.doi.org/10.1007/978-3-540-73001-9_38}\r\n}\r\n\r\n","author_short":["Ishihara, H."],"editor_short":["Cooper, S. B.","Löwe, B.","Sorbi, A."],"key":"Ish07","id":"Ish07","bibbaseid":"ishihara-uniqueexistenceandcomputabilityinconstructivereversemathematics-2007","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-73001-9_38"},"keyword":["bib","con"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.774Z","downloads":0,"keywords":["bib","con"],"search_terms":["unique","existence","computability","constructive","reverse","mathematics","ishihara"],"title":"Unique Existence and Computability in Constructive Reverse Mathematics","year":2007,"dataSources":["t7rKiAbxugj4Agz8M"]}