Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà . A Decidable Theory Treating Addition of Differentiable Real Functions. In Claudio Sacerdoti Coen, Ivano Salvo, editors, Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021. Volume 3072 of CEUR Workshop Proceedings, pages 150-163, CEUR-WS.org, 2021. [doi]
Abstract is missing.