On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems.

Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham

Browse the full ICTERI paper archive.