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]
Abstract is missing.