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]
@inproceedings{BuriolaCCOS21,
title = {A Decidable Theory Treating Addition of Differentiable Real Functions},
author = {Gabriele Buriola and Domenico Cantone and Gianluca Cincotti and Eugenio G. Omodeo and Gaetano T. Spartà },
year = {2021},
url = {http://ceur-ws.org/Vol-3072/paper13.pdf},
researchr = {https://researchr.org/publication/BuriolaCCOS21},
cites = {0},
citedby = {0},
pages = {150-163},
booktitle = {Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021},
editor = {Claudio Sacerdoti Coen and Ivano Salvo},
volume = {3072},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}