The Realizability Approach to Computable Analysis and Topology. Bauer, A. Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, 2000. bibtex @PHDTHESIS{Bau00,
author = {Bauer, Andrej},
title = {The Realizability Approach to Computable Analysis and Topology},
school = {School of Computer Science, Carnegie Mellon University},
year = {2000},
address = {Pittsburgh},
keywords = {bib,cca}
}
Downloads: 0
{"_id":"PgB6GeW29RCWurof7","bibbaseid":"bauer-therealizabilityapproachtocomputableanalysisandtopology-2000","authorIDs":[],"author_short":["Bauer, A."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"propositions":[],"lastnames":["Bauer"],"firstnames":["Andrej"],"suffixes":[]}],"title":"The Realizability Approach to Computable Analysis and Topology","school":"School of Computer Science, Carnegie Mellon University","year":"2000","address":"Pittsburgh","keywords":"bib,cca","bibtex":"@PHDTHESIS{Bau00,\r\n author = {Bauer, Andrej},\r\n title = {The Realizability Approach to Computable Analysis and Topology},\r\n school = {School of Computer Science, Carnegie Mellon University},\r\n year = {2000},\r\n address = {Pittsburgh},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Bauer, A."],"key":"Bau00","id":"Bau00","bibbaseid":"bauer-therealizabilityapproachtocomputableanalysisandtopology-2000","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"phdthesis","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.308Z","downloads":0,"keywords":["bib","cca"],"search_terms":["realizability","approach","computable","analysis","topology","bauer"],"title":"The Realizability Approach to Computable Analysis and Topology","year":2000,"dataSources":["t7rKiAbxugj4Agz8M"]}