Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory. Korovina, M. V. & Kudinov, O. V. In Blanck, J., Brattka, V., & Hertling, P., editors, Computability and Complexity in Analysis, volume 2064, pages 146–168, Berlin, 2001. Springer. 4th International Workshop, CCA 2000, Swansea, UK, September 2000
bibtex   
@INPROCEEDINGS{KK01,
  author = {Korovina, Margarita V. and Kudinov, Oleg V.},
  title = {Formalisation of Computability of Operators and Real-Valued Functionals
	via Domain Theory},
  booktitle = {Computability and Complexity in Analysis},
  year = {2001},
  editor = {Blanck, Jens and Brattka, Vasco and Hertling, Peter},
  volume = {2064},
  series = LNCS,
  pages = {146--168},
  address = {Berlin},
  publisher = {Springer},
  note = {4th International Workshop, CCA 2000, Swansea, UK, September 2000},
  keywords = {bib,cca}
}

Downloads: 0