Gabriele Buriola

According to our database, Gabriele Buriola authored at least 5 papers between 2020 and 2024.

Collaborative distances:

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

2024

A General Constructive Form of Higman's Lemma.

Stefano Berardi, Gabriele Buriola, Peter Schuster

Proceedings of the 32nd EACSL Annual Conference on Computer Science 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

A Constructive Picture of Noetherian Conditions and Well Quasi-orders.

Gabriele Buriola, Peter Schuster, Ingo Blechschmidt

Proceedings of the Unity of Logic and Computation, 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