Axiomatizing Analog Algorithms.

Olivier Bournez, Nachum Dershowitz, Pierre Nron

Browse the full CiE paper archive.