TY  - RPRT
TI  - Dynamical systems, simulation, abstract computation
AU  - Stefano Galatolo
AU  - Mathieu Hoyrup
AU  - Cristóbal Rojas
PY  - 2011
UR  - https://arxiv.org/abs/1101.0833
ID  - 1101.0833
ER  -