Gabriele Buriola

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

Collaborative distances:

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

2024

From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021).

Ingo Blechschmidt, Hajime Ishihara, Peter M. Schuster, Gabriele Buriola

Dagstuhl Reports, 2024

Simulating the Law in a Multi-Agent System.

Matteo Cristani, Francesco Olivieri, Guido Governatori, Gabriele Buriola

Proceedings of the 25th Workshop "From Objects to Agents", 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

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

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