Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Spartà, Gaetano T."'
Autor:
Buriola, Gabriele, Cantone, Domenico, Cincotti, Gianluca, Omodeo, Eugenio G., Spartà, Gaetano T.
Publikováno v:
In Theoretical Computer Science 9 January 2023 940 Part A:124-148
Autor:
Spartà, Gaetano T.1 gaetano.sparta@uniroma1.it, Stabile, Gabriele1
Publikováno v:
Annals of Operations Research. Feb2018, Vol. 261 Issue 1/2, p289-301. 13p.
Publikováno v:
Scopus-Elsevier
This paper enriches a pre-existing decision algorithm, which in its turn augmented a fragment of Tarski’s elementary algebra with one-argument real functions endowed with continuous first derivative. In its present (still quantifier-free) version,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0f1c8eb17236e7700f30b13209dd6cd4
http://hdl.handle.net/11368/3005853
http://hdl.handle.net/11368/3005853
Publikováno v:
Scopus-Elsevier
We enrich a pre-existing decision algorithm, which in its turn augmented a fragment of Tarski’s elementary algebra with one-argument functions enjoying significant properties such as continuity and differentiability. We also pave the way to further
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::13fa0d83e24a1152814512dc1422d058
https://hdl.handle.net/11368/2978349
https://hdl.handle.net/11368/2978349