Author:
Bournez Olivier,Hainry Emmanuel
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Arnold, V.I.: Ordinary Differential Equations. MIT Press, Cambridge (1978)
2. Asarin, E., Bouajjani, A.: Perturbed Turing machines and hybrid systems. In: Logic in Computer Science, pp. 269–278 (2001)
3. Asarin, E., Maler, O.: Achilles and the tortoise climbing up the arithmetical hierarchy. Journal of Computer and System Sciences 57(3), 389–398 (1998)
4. Bournez, O.: Achilles and the Tortoise climbing up the hyper-arithmetical hierarchy. Theoretical Computer Science 210(1), 21–71 (1999)
5. Bournez, O.: Complexité Algorithmique des Systémes Dynamiques Continus et Hybrides. PhD thesis, Ecole Normale Supérieure de Lyon, Janvier (1999)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献