Towards an Axiomatization of Simple Analog Algorithms

Olivier Bournez, Nachum Dershowitz, Evgenia Falkovich. Towards an Axiomatization of Simple Analog Algorithms. In Manindra Agrawal, S. Barry Cooper, Angsheng Li, editors, Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings. Volume 7287 of Lecture Notes in Computer Science, pages 525-536, Springer, 2012. [doi]

@inproceedings{BournezDF12,
  title = {Towards an Axiomatization of Simple Analog Algorithms},
  author = {Olivier Bournez and Nachum Dershowitz and Evgenia Falkovich},
  year = {2012},
  doi = {10.1007/978-3-642-29952-0_49},
  url = {http://dx.doi.org/10.1007/978-3-642-29952-0_49},
  researchr = {https://researchr.org/publication/BournezDF12},
  cites = {0},
  citedby = {0},
  pages = {525-536},
  booktitle = {Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings},
  editor = {Manindra Agrawal and S. Barry Cooper and Angsheng Li},
  volume = {7287},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-29951-3},
}