A Real-Analytic Approach to Differential-Algebraic Dynamic Logic.

Jonathan Hellwig, Andr Platzer

Browse the full CADE paper archive.