Differential Equation Axiomatization: The Impressive Power of Differential Ghosts.

Andr Platzer, Yong Kiam Tan

Browse the full LICS paper archive.