Sfoglia per Autore
Global Skolemization with grouped quantifiers
file da validare1997-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Omodeo, E. G.
On existentially quantified conjunctions of atomic formulae of L+
file da validare1997-01-01 Cantone, Domenico; Cavarra, A.; Omodeo, E. G.
A fast saturation strategy for set-theoretic tableaux
file da validare1997-01-01 Cantone, Domenico
Transitive Venn with applications to the decision problem in set theory
file da validare1999-01-01 Cantone, D.; Omodeo, E.; Ursino, P.
A tableau-based decision procedure for a fragment of set theory involving a restricted form of quantification
file da validare1999-01-01 Cantone, Domenico; Zarba, C. G.
Compiling dyadic first-order specifications into map calculus, by folding quantifiers into map composition
file da validare2000-01-01 Cantone, Domenico; Formisano, A; Omodeo, E. G.; Zarba, C. G.
QuickHeapsort: an efficient mix of classical sorting algorithms
file da validare2000-01-01 Cantone, Domenico; Cincotti, Gianluca
The decision problem in graph theory with reachability related constructs
file da validare2000-01-01 Cantone, Domenico; Cincotti, Gianluca
A further and effective liberalization of the delta-rule in free variable semantic tableaux
file da validare2000-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A further and effective liberalization of the delta-rule in free variable semantic tableaux
2000-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A new fast tableau-based decision procedure for an unquantified fragment of set theory
file da validare2000-01-01 Cantone, Domenico; Zarba, C. G.
A new fast tableau-based decision procedure for an unquantified fragment of set theory
file da validare2000-01-01 Cantone, Domenico; Zarba, C. G.
A Tableau Calculus for Integrating First-Order Reasoning with Elementary Set Theory Reasoning in the presence of Monotone Functions
file da validare2000-01-01 Cantone, Domenico; Zarba, C. G.
An Efficient Algorithm for the Approximate Median Selection Problem
file da validare2000-01-01 Battiato, Sebastiano; Cantone, Domenico; Catalano, Dario; Cincotti, Gianluca; Hofri, M.
Set Theory for Computing: From decision procedures to declarative programming with sets
file da validare2001-01-01 Cantone, Domenico; Omodeo, E. G.; Policriti, A.
QuickHeapsort: an efficient mix of classical sorting algorithms
file da validare2002-01-01 Cantone, Domenico; Cincotti, Gianluca
Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators
file da validare2002-01-01 Cantone, Domenico; Omodeo, E. G.; Ursino, P.
Forward-Fast-Search: Another Fast Variant of the Boyer-Moore String Matching Algorithm
file da validare2003-01-01 Cantone, Domenico; Faro, Simone
A Decision Procedure for Monotone Functions over Lattices
file da validare2003-01-01 Cantone, Domenico; Zarba, C. G.
Fast-Search: a New Efficient Variant of the Boyer-Moore String Matching Algorithm
2003-01-01 Cantone, Domenico; Faro, Simone
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile