Gaetano T. Spartà

According to our database, Gaetano T. Spartà authored at least 6 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals.

Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà

CoRR, July, 2025

2024

Some Decidability Issues Concerning C^n Real Functions.

Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà

Proceedings of the 39th Italian Conference on Computational Logic, 2024

2023

A decidable theory involving addition of differentiable real functions.

Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà

Theor. Comput. Sci., 2023

2021

A Decidable Theory Treating Addition of Differentiable Real Functions.

Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

2020

A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals.

Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà

Proceedings of the 35th Italian Conference on Computational Logic, 2020

2018

Tax compliance with uncertain income: a stochastic control model.

Gaetano T. Spartà, Gabriele Stabile

Ann. Oper. Res., 2018