Square roots and powers in constructive Banach algebra theory. Bridges, D. S. & Havea, R. S. In Cooper, S. B., Dawar, A., & Löwe, B., editors, How the World Computes, volume 7318, of Lecture Notes in Computer Science, pages 68–77, Heidelberg, 2012. Springer.
bibtex   
@INPROCEEDINGS{BH12,
  author = {Bridges, Douglas S. and Havea, Robin S.},
  title = {Square roots and powers in constructive {B}anach algebra theory},
  booktitle = {How the World Computes},
  year = {2012},
  editor = {Cooper, S. Barry and Dawar, Anuj and L{\"o}we, Benedikt},
  volume = {7318},
  series = {Lecture Notes in Computer Science},
  pages = {68--77},
  address = {Heidelberg},
  publisher = {Springer},
  keywords = {bib,con},
  mrclass = {03F60 (46S30)},
  mrnumber = {2983670},
  owner = {Vasco},
  timestamp = {2013.12.01}
}

Downloads: 0