Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Buriola, Gabriele
5  Ergebnisse:
Personensuche X
?
1

A Constructive Picture of Noetherian Conditions and Well Qu..:

, In: Lecture Notes in Computer Science; Unity of Logic and Computation,
Buriola, Gabriele ; Schuster, Peter ; Blechschmidt, Ingo - p. 50-62 , 2023
Link: https://doi.org/10.1007/..
 
?
2

A decidable theory involving addition of differentiable rea..:

Buriola, Gabriele ; Cantone, Domenico ; Cincotti, Gianluca..
Theoretical Computer Science.  940 (2023)  - p. 124-148 , 2023
Link: https://doi.org/10.1016/..
 
?
3

A General Constructive Form of Higman's Lemma:

Berardi, Stefano ; Buriola, Gabriele ; Schuster, Peter
Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024).  , 2024
Link: https://doi.org/10.4230/..
 
?
4

A Decidable Theory Treating Addition of Differentiable Real..:

Gabriele Buriola ; Domenico Cantone ; Gianluca Cincotti..
ispartofbook:Proceedings of the 22nd Italian Conference on Theoretical Computer Science.  , 2021
Link: http://hdl.handle.net/11..
 
?
5

A Decidable Theory of Differentiable Functions with Convexi..:

Gabriele Buriola ; Domenico Cantone ; Gianluca Cincotti..
ispartofbook:Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020.  , 2020
Link: http://hdl.handle.net/11..
 
1-5