Axiomatizing Analog Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Olivier Bournez, Nachum Dershowitz, Pierre Néron. Axiomatizing Analog Algorithms. In Arnold Beckmann, Laurent Bienvenu, Natasa Jonoska, editors, Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings. Volume 9709 of Lecture Notes in Computer Science, pages 215-224, Springer, 2016. [doi]

This author has not been identified. Look up 'Olivier Bournez' in GoogleThis author has not been identified. It may be one of the following persons:

Nachum Dershowitz

Look up 'Nachum Dershowitz' in GoogleIdentified as Pierre Néron

runs on WebDSL