IRIS

CANTONE, Domenico

CANTONE, Domenico  

MATEMATICA E INFORMATICA  

Risultati 1 - 20 di 199 (tempo di esecuzione: 0.044 secondi).
Titolo Data di pubblicazione Autore(i) File
28th Italian Conference on Computational Logic (CILC 2013) 1-gen-2013 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee 1-gen-2009 Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee 1-gen-2009 Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna
A Combined Greedy-Walk Heuristic and Simulated Annealing Approach for the Closest String Problem 1-gen-2014 Pappalardo, E; Cantone, Domenico; Pardalos, P. M.
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.
A decidable fragment of the elementary theory of relations and some applications 1-gen-1990 Cantone, Domenico; Cutello, Vincenzo
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 two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions 1-gen-2014 Cantone, Domenico; Longo, C.
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.
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case 1-gen-2004 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 1-gen-2010 Cantone, Domenico; Longo, C; NICOLOSI ASMUNDO, Marianna
A Decision Procedure for Monotone Functions over Bounded and Complete Lattices 1-gen-2006 Cantone, Domenico; Zarba, C. G.
A Decision Procedure for Monotone Functions over Lattices 1-gen-2003 Cantone, Domenico; Zarba, C. G.
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation 1-gen-2014 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Orlowska, E.
A fast saturation strategy for set-theoretic tableaux 1-gen-1997 Cantone, Domenico
A Faster Algorithm for the Single Source Shortest Path Problem in the Presence of Few Sources or Destinations of Negative Arcs 1-gen-2008 Cantone, Domenico; Faro, Simone
A General Proviso for Existential Quantifiers Elimination in Free Variable Semantic Tableaux 1-gen-2005 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A graphical representation of relational formulae with complementation 1-gen-2010 Cantone, Domenico; Formisano, A; NICOLOSI ASMUNDO, Marianna; Omodeo, E.