CANTONE, Domenico
CANTONE, Domenico
MATEMATICA E INFORMATICA
28th Italian Conference on Computational Logic (CILC 2013)
2013-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee
2009-01-01 Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee
2009-01-01 Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna
A Combined Greedy-Walk Heuristic and Simulated Annealing Approach for the Closest String Problem
2014-01-01 Pappalardo, E; Cantone, Domenico; Pardalos, P. M.
A Compact Representation of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach
2010-01-01 Cantone, Domenico; Faro, Simone; Giaquinta, E.
A Computerized Referee
2006-01-01 OMODEO E., G; Cantone, Domenico; Policriti, A; Schwartz, J. T.
A decidable fragment of the elementary theory of relations and some applications
1990-01-01 Cantone, Domenico; Cutello, Vincenzo
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics
2011-01-01 Cantone, Domenico; Longo, C; NICOLOSI ASMUNDO, Marianna
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions
2014-01-01 Cantone, Domenico; Longo, C.
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions
2003-01-01 Cantone, Domenico; SCHWARTZ J., T; Zarba, C. G.
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case
2004-01-01 ZARBA C., G; Cantone, Domenico; Schwartz, J. T.
A decision procedure for a two-sorted extension of Multi-Level Syllogistic with the Cartesian product and some map constructs
2010-01-01 Cantone, Domenico; Longo, C; NICOLOSI ASMUNDO, Marianna
A Decision Procedure for Monotone Functions over Bounded and Complete Lattices
2006-01-01 Cantone, Domenico; Zarba, C. G.
A Decision Procedure for Monotone Functions over Lattices
2003-01-01 Cantone, Domenico; Zarba, C. G.
A fast saturation strategy for set-theoretic tableaux
1997-01-01 Cantone, Domenico
A Faster Algorithm for the Single Source Shortest Path Problem in the Presence of Few Sources or Destinations of Negative Arcs
2008-01-01 Cantone, Domenico; Faro, Simone
A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux
2005-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A graphical representation of relational formulae with complementation
2010-01-01 Cantone, Domenico; Formisano, A; NICOLOSI ASMUNDO, Marianna; Omodeo, E.
A New Algorithm for Efficient Pattern Matching with Swaps
2009-01-01 Campanelli, M; Cantone, Domenico; Faro, Simone
A new fast tableau-based decision procedure for an unquantified fragment of set theory
2000-01-01 Cantone, Domenico; Zarba, C. G.