BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Domenico Cantone
SearchCollections
Map detail
Domenico Cantone13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDomenico CantoneADomenico CantoneResearcherDecidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operatorWDecidability of the sat...preprint / 2022Resolutions of Convex GeometriesWResolutions of Convex G...preprint / 2021Text Searching Allowing for Non-Overlapping Adjacent Unbalanced TranslocationsWText Searching Allowing...preprint / 2021Hilbert's Tenth problem and NP-completeness of Boolean Syllogistic with unordered cartesian productWHilbert's Tenth problem...preprint / 2021On Tuning the Bad-Character Rule: the Worst-Character RuleWOn Tuning the Bad-Chara...preprint / 2010A decidable quantified fragment of set theory with ordered pairs and some undecidable extensionsWA decidable quantified ...preprint / 2012On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version)WOn the satisfiability p...preprint / 2012Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicateWFormative processes wit...preprint / 2013On the satisfiability problem for a 3-level quantified syllogisticWOn the satisfiability p...preprint / 2013The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerationsWThe decision problem fo...preprint / 2015Web ontology representation and reasoning via fragments of set theoryWWeb ontology representa...preprint / 2015Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)WConjunctive Query Answe...preprint / 2016
Person12 links

Domenico Cantone

Researcher

PaperDecidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operatorAuthorship / preprint / 2022PaperResolutions of Convex GeometriesAuthorship / preprint / 2021PaperText Searching Allowing for Non-Overlapping Adjacent Unbalanced TranslocationsAuthorship / preprint / 2021PaperHilbert's Tenth problem and NP-completeness of Boolean Syllogistic with unordered cartesian productAuthorship / preprint / 2021PaperOn Tuning the Bad-Character Rule: the Worst-Character RuleAuthorship / preprint / 2010PaperA decidable quantified fragment of set theory with ordered pairs and some undecidable extensionsAuthorship / preprint / 2012PaperOn the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version)Authorship / preprint / 2012PaperFormative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicateAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)