TY  - RPRT
TI  - Computability of Initial Value Problems
AU  - Vasco Brattka
AU  - Hendrik Smischliaew
PY  - 2024
DO  - 10.1007/978-3-031-95908-0_14
UR  - https://arxiv.org/abs/2501.00451
ID  - 2501.00451
ER  -