Plottable Real Number Functions and the Computable Graph Theorem

Vasco Brattka. Plottable Real Number Functions and the Computable Graph Theorem. SIAM Journal on Computing, 38(1):303-328, 2008. [doi]

@article{Brattka08:0,
  title = {Plottable Real Number Functions and the Computable Graph Theorem},
  author = {Vasco Brattka},
  year = {2008},
  doi = {10.1137/060658023},
  url = {http://dx.doi.org/10.1137/060658023},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Brattka08%3A0},
  cites = {0},
  citedby = {0},
  journal = {SIAM Journal on Computing},
  volume = {38},
  number = {1},
  pages = {303-328},
}