( en | de | ru )

 

Disambiguation of "Cantone, Domenico"

Author of the publication

copydeleteadd this publication to your clipboard
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case.

, , and . J. Autom. Reason., 33 (3-4): 251-269 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Domenico Laurendi

Domenico Castrigiano

Domenico Lupo

Domenico Pavone

Domenico Tamburro

 

Other publications of authors with the same name

Two-Levels-Greedy: A Generalized of Dijkstra's Shortest Path Algorithm., and . CTW, page 75-80. (2004)Antipole Tree Indexing to Support Range Search and K-Nearest Neighbor Search in Metric Spaces., , , , and . IEEE Trans. Knowl. Data Eng., 17 (4): 535-550 (2005)Proving Set-Theoretic Formulae by a Tableaux Method., and . ICLP Workshop on Logic Programming with Sets, (1993)QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms., and . CIAC, volume 1767 of Lecture Notes in Computer Science, page 150-162. Springer, (2000)A Decidable Fragment of the Elementary Theory of Relations and Some Applications., and . ISSAC, page 24-29. ACM, (1990)A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics., , and . CSL, volume 12 of LIPIcs, page 129-143. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics., , and . HAIS, volume 8480 of Lecture Notes in Computer Science, page 466-477. Springer, (2014)Decision Problems for Tarski and Presburger Arithmetics Extended With Sets., , and . CSL, volume 533 of Lecture Notes in Computer Science, page 95-109. Springer, (1990)A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux., and . J. Autom. Reason., 38 (1-3): 31-56 (2007)A Decision Procedure for Monotone Functions over Bounded and Complete Lattices., and . Theory and Applications of Relational Structures as Knowledge Instruments, volume 4342 of Lecture Notes in Computer Science, Springer, (2006)