( en | de | ru )

 

Disambiguation of "Cantone, Domenico"

Author of the publication

copydeleteadd this publication to your clipboard
Decision Procedures for Stratified Set-Theoretic Syllogistics.

, and . ISSAC, page 105-110. ACM, (1993)

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 Lupo

Domenico Castrigiano

Domenico Pavone

Domenico Tamburro

 

Other publications of authors with the same name

Transitive Venn diagrams with applications to the decision problem in set theory., , and . APPIA-GULP-PRODE, page 167-182. (1999)A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions, and . GandALF, volume 96 of EPTCS, page 224-237. (2012)Fast-Search Algorithms: New Efficient Variants of the Boyer-Moore Pattern-Matching Algorithm., and . Journal of Automata, Languages and Combinatorics, 10 (5/6): 589-608 (2005)The order-preserving pattern matching problem in practice., , and . Discret. Appl. Math., (2020)Solving the (\delta, \alpha)-Approximate Matching Problem Under Transposition Invariance in Musical Sequences., , and . ISMIR, page 460-463. (2005)Dual tableau-based decision procedures for relational logics with restricted composition operator., , and . J. Appl. Non Class. Logics, 21 (2): 177-200 (2011)Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs., , and . ISSAC, volume 358 of Lecture Notes in Computer Science, page 407-422. Springer, (1988)The Automation of Syllogistic., , and . J. Autom. Reason., 6 (2): 173-187 (1990)Two-Levels-Greedy: a generalization of Dijkstra's shortest path algorithm., and . Electron. Notes Discret. Math., (2004)Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator., , and . J. Comput. Syst. Sci., 34 (1): 1-18 (1987)