Unique Existence and Computability in Constructive Reverse Mathematics. Ishihara, H. In Cooper, S. B., Löwe, B., & Sorbi, A., editors, Computation and Logic in the Real World, volume 4497, of Lecture Notes in Computer Science, pages 368–377, Berlin, 2007. Springer. Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007
Paper bibtex @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}
}
Downloads: 0
{"_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","series":"Lecture Notes in Computer Science","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"],"metadata":{"authorlinks":{}},"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"]}