%0 Journal Article %1 journals/tcs/BuriolaCCOS23 %A Buriola, Gabriele %A Cantone, Domenico %A Cincotti, Gianluca %A Omodeo, Eugenio G. %A Spartà, Gaetano T. %D 2023 %J Theor. Comput. Sci. %K dblp %N Part %P 124-148 %T A decidable theory involving addition of differentiable real functions. %U http://dblp.uni-trier.de/db/journals/tcs/tcs940.html#BuriolaCCOS23 %V 940

@article{journals/tcs/BuriolaCCOS23, added-at = {2022-12-05T00:00:00.000+0100}, author = {Buriola, Gabriele and Cantone, Domenico and Cincotti, Gianluca and Omodeo, Eugenio G. and Spartà, Gaetano T.}, biburl = {https://www.bibsonomy.org/bibtex/24658ac49a80a37613275b52e9bb2faca/dblp}, ee = {https://doi.org/10.1016/j.tcs.2022.10.045}, interhash = {8d8c7eb609611299409a3447bb8791e8}, intrahash = {4658ac49a80a37613275b52e9bb2faca}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {Part}, pages = {124-148}, timestamp = {2024-04-08T18:40:21.000+0200}, title = {A decidable theory involving addition of differentiable real functions.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs940.html#BuriolaCCOS23}, volume = 940, year = 2023 }