@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}
}

{"_id":"yHXvE8dTcvkyLCSnm","bibbaseid":"korovina-kudinov-formalisationofcomputabilityofoperatorsandrealvaluedfunctionalsviadomaintheory-2001","authorIDs":[],"author_short":["Korovina, M. V.","Kudinov, O. V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Korovina"],"firstnames":["Margarita","V."],"suffixes":[]},{"propositions":[],"lastnames":["Kudinov"],"firstnames":["Oleg","V."],"suffixes":[]}],"title":"Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory","booktitle":"Computability and Complexity in Analysis","year":"2001","editor":[{"propositions":[],"lastnames":["Blanck"],"firstnames":["Jens"],"suffixes":[]},{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]},{"propositions":[],"lastnames":["Hertling"],"firstnames":["Peter"],"suffixes":[]}],"volume":"2064","pages":"146–168","address":"Berlin","publisher":"Springer","note":"4th International Workshop, CCA 2000, Swansea, UK, September 2000","keywords":"bib,cca","bibtex":"@INPROCEEDINGS{KK01,\r\n author = {Korovina, Margarita V. and Kudinov, Oleg V.},\r\n title = {Formalisation of Computability of Operators and Real-Valued Functionals\r\n\tvia Domain Theory},\r\n booktitle = {Computability and Complexity in Analysis},\r\n year = {2001},\r\n editor = {Blanck, Jens and Brattka, Vasco and Hertling, Peter},\r\n volume = {2064},\r\n series = LNCS,\r\n pages = {146--168},\r\n address = {Berlin},\r\n publisher = {Springer},\r\n note = {4th International Workshop, CCA 2000, Swansea, UK, September 2000},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Korovina, M. V.","Kudinov, O. V."],"editor_short":["Blanck, J.","Brattka, V.","Hertling, P."],"key":"KK01","id":"KK01","bibbaseid":"korovina-kudinov-formalisationofcomputabilityofoperatorsandrealvaluedfunctionalsviadomaintheory-2001","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.793Z","downloads":0,"keywords":["bib","cca"],"search_terms":["formalisation","computability","operators","real","valued","functionals","via","domain","theory","korovina","kudinov"],"title":"Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory","year":2001,"dataSources":["t7rKiAbxugj4Agz8M"]}