Admissible Representations in Computable Analysis. Schröder, M. In Beckmann, A., Berger, U., Löwe, B., & Tucker, J., editors, Logical Approaches to Computational Barriers, volume 3988, pages 471–480, Berlin, 2006. Springer. Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006
Admissible Representations in Computable Analysis [link]Paper  bibtex   
@INPROCEEDINGS{Sch06,
  author = {Schr\"oder, Matthias},
  title = {Admissible Representations in Computable Analysis},
  booktitle = {Logical Approaches to Computational Barriers},
  year = {2006},
  editor = {Beckmann, A. and Berger, U. and L{\"o}we, B. and Tucker, J.V.},
  volume = {3988},
  series = LNCS,
  pages = {471--480},
  address = {Berlin},
  publisher = {Springer},
  note = {Second Conference on Computability in Europe, CiE 2006, Swansea,
	UK, June 30-July 5, 2006},
  file = {Sch06c.pdf:files\\Sch06c.pdf:PDF},
  keywords = {bib,cca},
  url = {http://dx.doi.org/10.1007/11780342_48}
}

Downloads: 0