@INPROCEEDINGS{Esc95,
  author = {Escard\'{o}, Mart\'{\i}n H\"otzel},
  title = {{PCF} extended with real numbers},
  booktitle = {Computability and Complexity in Analysis},
  year = {1995},
  editor = {Ko, Ker-I and Weihrauch, Klaus},
  volume = {190},
  series = {Informatik Berichte},
  pages = {11--24},
  month = sep,
  publisher = {FernUniversit\"at Hagen},
  note = {CCA Workshop, Hagen, August 19--20, 1995}
}

{"_id":"ufogSqgh7DBM5uTgB","bibbaseid":"escard-pcfextendedwithrealnumbers-1995","authorIDs":[],"author_short":["Escardó, M. H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Escardó"],"firstnames":["Martín","Hötzel"],"suffixes":[]}],"title":"PCF extended with real numbers","booktitle":"Computability and Complexity in Analysis","year":"1995","editor":[{"propositions":[],"lastnames":["Ko"],"firstnames":["Ker-I"],"suffixes":[]},{"propositions":[],"lastnames":["Weihrauch"],"firstnames":["Klaus"],"suffixes":[]}],"volume":"190","series":"Informatik Berichte","pages":"11–24","month":"September","publisher":"FernUniversität Hagen","note":"CCA Workshop, Hagen, August 19–20, 1995","bibtex":"@INPROCEEDINGS{Esc95,\r\n author = {Escard\\'{o}, Mart\\'{\\i}n H\\\"otzel},\r\n title = {{PCF} extended with real numbers},\r\n booktitle = {Computability and Complexity in Analysis},\r\n year = {1995},\r\n editor = {Ko, Ker-I and Weihrauch, Klaus},\r\n volume = {190},\r\n series = {Informatik Berichte},\r\n pages = {11--24},\r\n month = sep,\r\n publisher = {FernUniversit\\\"at Hagen},\r\n note = {CCA Workshop, Hagen, August 19--20, 1995}\r\n}\r\n\r\n","author_short":["Escardó, M. H."],"editor_short":["Ko, K.","Weihrauch, K."],"key":"Esc95","id":"Esc95","bibbaseid":"escard-pcfextendedwithrealnumbers-1995","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.095Z","downloads":0,"keywords":[],"search_terms":["pcf","extended","real","numbers","escardó"],"title":"PCF extended with real numbers","year":1995,"dataSources":["t7rKiAbxugj4Agz8M"]}