Olivier Bournez, Nachum Dershowitz, Evgenia Falkovich. Towards an Axiomatization of Simple Analog Algorithms.
Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings, Date-Added = 2012-05-04 20:32:53 +0000, Date-Modified = 2012-05-04 20:35:01 +0000, 2012, China. pp.525-536.
⟨hal-00760736⟩