A note on the undecidability of the reachability problem for o-minimal dynamical systems (Q5469108)
From MaRDI portal
scientific article; zbMATH DE number 5023773
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on the undecidability of the reachability problem for o-minimal dynamical systems |
scientific article; zbMATH DE number 5023773 |
Statements
A note on the undecidability of the reachability problem for o-minimal dynamical systems (English)
0 references
16 May 2006
0 references
reachability problem
0 references
general o-minimal dynamical systems
0 references
Turing-undecidability
0 references
BSS model of computation
0 references
