Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Gabriele Buriola"'
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