Towards an Axiomatization of Simple Analog Algorithms.

Olivier Bournez, Nachum Dershowitz, Evgenia Falkovich

Browse the full TAMC paper archive.