CANTONE, Domenico

CANTONE, Domenico  

MATEMATICA E INFORMATICA  

Mostra records
Risultati 1 - 20 di 216 (tempo di esecuzione: 0.042 secondi).
Titolo Data di pubblicazione Autore(i) File
"One equation to rule them all", revisited 1-gen-2021 Cantone, Domenico; Omodeo, Eugenio G. file da validare
(m,n)-rationalizable choices 1-gen-2016 Cantone, Domenico; Giarlotta, Alfio; Greco, Salvatore; Watson, S.
18th International Symposium on Experimental Algorithms 1-gen-2020 Faro, S.; Cantone, D. file da validare
28th Italian Conference on Computational Logic (CILC 2013) 1-gen-2013 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna file da validare
A brief history of singlefold Diophantine definitions 1-gen-2023 Cantone, Domenico; Cuzziol, Luca; Omodeo, Eugenio G. file da validare
A C++ reasoner for the description logic DL4;× D? 1-gen-2017 Cantone, Domenico; Nicolosi-asmundo, Marianna; Santamaria, Daniele Francesco
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee 1-gen-2009 Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna file da validare
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee 1-gen-2009 Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna file da validare
A Combined Greedy-Walk Heuristic and Simulated Annealing Approach for the Closest String Problem 1-gen-2014 Pappalardo, E; Cantone, Domenico; Pardalos, P. M. file da validare
A compact representation of nondeterministic (suffix) automata for the bit-parallel approach 1-gen-2012 Cantone, Domenico; Faro, Simone; Giaquinta, E.
A Compact Representation of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach 1-gen-2010 Cantone, Domenico; Faro, Simone; Giaquinta, E.
A Computerized Referee 1-gen-2006 Omodeo, E. G.; Cantone, Domenico; Policriti, A; Schwartz, J. T. file da validare
A decidable fragment of the elementary theory of relations and some applications 1-gen-1990 Cantone, Domenico; Cutello, Vincenzo file da validare
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics 1-gen-2011 Cantone, Domenico; Longo, C; NICOLOSI ASMUNDO, Marianna
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions 1-gen-2012 Cantone, Domenico; Longo, C. file da validare
A Decidable Theory Involving Addition of Differentiable Real Functions 1-gen-2023 Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano file da validare
A decidable theory of differentiable functions with convexities and concavities on real intervals 1-gen-2020 Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Sparta, G. T.
A decidable theory treating addition of differentiable real functions 1-gen-2021 Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano file da validare
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions 1-gen-2014 Cantone, Domenico; Longo, C. file da validare
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions 1-gen-2003 Cantone, Domenico; SCHWARTZ J., T; Zarba, C. G. file da validare