Zobrazeno 1 - 10
of 170
pro vyhledávání: '"OMODEO, EUGENIO"'
By following the same construction pattern which Martin Davis proposed in a 1968 paper of his, we have obtained six quaternary quartic Diophantine equations that candidate as `rule-them-all' equations: proving that one of them has only a finite numbe
Externí odkaz:
http://arxiv.org/abs/2303.02208
As a contribution to quantitative set-theoretic inferencing, a translation is proposed of conjunctions of literals of the forms $x=y\setminus z$, $x \neq y\setminus z$, and $z =\{x\}$, where $x,y,z$ stand for variables ranging over the von Neumann un
Externí odkaz:
http://arxiv.org/abs/2112.04797
Publikováno v:
In Theoretical Computer Science 18 April 2023 954
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:
Calvert, Wesley, Harizanov, Valentina, Omodeo, Eugenio G., Policriti, Alberto, Shlapentokh, Alexandra
Publikováno v:
Notices of the American Mathematical Society; Aug2024, Vol. 71 Issue 7, p898-907, 10p
Publikováno v:
In Theoretical Computer Science 24 December 2020 848:28-46
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Logic & Computation; Jun2023, Vol. 33 Issue 4, p738-763, 26p
Autor:
POLICRITI, ALBERTO, OMODEO, EUGENIO
Publikováno v:
The Journal of Symbolic Logic, 2012 Sep 01. 77(3), 896-918.
Externí odkaz:
http://dx.doi.org/10.2178/jsl/1344862166
Autor:
OMODEO, EUGENIO, POLICRITI, ALBERTO
Publikováno v:
The Journal of Symbolic Logic, 2010 Jun 01. 75(2), 459-480.
Externí odkaz:
https://www.jstor.org/stable/25676792