Searching for authors named Domenico Cantone – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
A Fast Saturation Strategy for Set-Theoretic Tableaux
- …A fast saturation strategy for set-theoretic tableaux Domenico Cantone ? Universit`a di Catania…
- Cited by 6 (3 self) – Add To MetaCart
-
On Existentially Quantified Conjunctions of Atomic Formulae of ...
- …On existentially quantified conjunctions of atomic formulae of L + Domenico Cantone y…
- Cited by 4 (4 self) – Add To MetaCart
-
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory
- …A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory ? Domenico…
- Add To MetaCart
-
Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators.
- … and singleton operators. Domenico Cantone, Eugenio G. Omodeo, Pietro Ursino yzx Abstract This paper…
- Cited by 2 (2 self) – Add To MetaCart
-
An Efficient Algorithm for the Approximate Median Selection Problem
- …We present an efficient algorithm for the approximate median selection problem. The algorithm works in-place…
- Cited by 7 (1 self) – Add To MetaCart
-
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux
- … Domenico Cantone y and Marianna Nicolosi Asmundo z Universit`a di Catania, Dipartimento di Matematica…
- Cited by 1 (0 self) – Add To MetaCart
-
Transitive Venn diagrams with applications to the decision problem in set theory
- …Transitive Venn diagrams with applications to the decision problem in set theory Domenico Cantone…
- Cited by 1 (0 self) – Add To MetaCart
-
Compiling Dyadic First-Order Specifications into Map Calculus, by Folding Quantifiers into Map Composition
- … composition Domenico Cantone Dipartimento di Matematica, Universita di Catania cantone…
- Add To MetaCart
-
A Decision Procedure for
- …A Decision Procedure for Monotone Functions over Lattices # Domenico Cantone 1 and Calogero G…
- Add To MetaCart
-
On Tuning The (, )-Sequential-Sampling Algorithm For
- … IN MUSICAL SEQUENCES Domenico Cantone Salvatore Cristofaro Simone Faro Università di Catania, Dipartimento di…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
