pith. sign in

Domenico Cantone

Identifiers

  • name variant Domenico Cantone 0.60 · backfill

Papers (14)

  1. Sequence Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations cs.DS · 2018 · author #1
  2. Encoding Sets as Real Numbers (Extended version) cs.LO · 2018 · author #1
  3. A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version) cs.LO · 2018 · author #1
  4. Speeding Up String Matching by Weak Factor Recognition cs.DS · 2017 · author #1
  5. Two Dichotomy Theorems math.LO · 2017 · author #1
  6. Conjunctive Query Answering via a Fragment of Set Theory (Extended Version) cs.LO · 2016 · author #1
  7. The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations cs.LO · 2015 · author #1
  8. Web ontology representation and reasoning via fragments of set theory cs.LO · 2015 · author #1
  9. NeatSort - A practical adaptive algorithm cs.DS · 2014 · author #2
  10. On the satisfiability problem for a 3-level quantified syllogistic cs.LO · 2013 · author #1
  11. An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World cs.AI · 2012 · author #2
  12. On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version) cs.LO · 2012 · author #1
  13. On Tuning the Bad-Character Rule: the Worst-Character Rule cs.DS · 2010 · author #1
  14. Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicate math.LO · 2004 · author #1

Mentions

  • 1506.01476 #1 · backfill · confidence 0.70 Domenico Cantone
  • 1505.02075 #1 · backfill · confidence 0.70 Domenico Cantone
  • 1407.6183 #2 · backfill · confidence 0.70 Domenico Cantone
  • 1304.2412 #1 · backfill · confidence 0.70 Domenico Cantone
  • 1211.4957 #2 · backfill · confidence 0.70 Domenico Cantone
  • 1209.1943 #1 · backfill · confidence 0.70 Domenico Cantone
  • 1012.1338 #1 · backfill · confidence 0.70 Domenico Cantone

Frequent Coauthors