Publisher
Springer International Publishing
Reference43 articles.
1. Andréka, H., Németi, I., Németi, P.: General relativistic hypercomputing and foundation of mathematics. Nat. Comput. 8(3), 499–516 (2009). doi: 10.1007/s11047-009-9114-3
2. Lecture Notes in Computer Science;E Asarin,1995
3. Asarin, E., Maler, O., Pnueli, A.: Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoret. Comput. Sci. 138(1), 35–65 (1995). doi: 10.1016/0304-3975(94)00228-B
4. Becker, F., Chapelle, M., Durand-Lose, J., Levorato, V., Senot, M.: Abstract geometrical computation 8: small machines, accumulations & rationality (2013, submitted). http://arxiv.org/abs/1307.6468
5. Bennett, C.H.: Notes on the history of reversible computation. IBM J. Res. Dev. 32(1), 16–23 (1988)