Bibliography

1

V. D. Blondel, J. N. Tsitsiklis, A survey of computational complexity results in systems and control, Automatica, 36, 9 (2000), 1249-1274.

2

L. van den Dries, Remarks on Tarski's problem concerning $(R, +, \cdot, \exp)$, in Logic Colloquium '82, G. Lolli, G. Longo and A. Marcja, eds., North-Holland, 1984, 97-121.

3

L. van den Dries, Tame topology and o-minimal structures, LMS Lecture Notes Series, 248, Cambridge Univ. Press, New York, 1988.

4

L. van den Dries, A. Macintyre, D. Marker, The elementary theory of restricted analytic fields with exponentiation, Ann. Math., 140 (1994), 183-205.

5

J. Knight, A. Pillay and C. Steinhorn, Definable sets in ordered structures II, Trans. AMS, 295 (1986) 593-605.

6

V. S. Kozyakin, Algebraic unsolvability of problem of absolute stability of desynchronized systems. Avtomatika i Telemehanika, 6 (1990), 41-47 (in Russian; English translation in Automat. Remote Control, 51 (1990), no. 6, part 1, 754-759).

7

A. Pillay and C. Steinhorn, Definable sets in ordered structures I, Trans. AMS 295, (1986), 565-592.