Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership (Q2215960): Difference between revisions

@@ Property / author @@
-Domenico Cantone
@@ Property / author: Domenico Cantone / rank @@
-Normal rank
@@ Property / author @@
-Eugenio Giovanni Omodeo
@@ Property / author: Eugenio Giovanni Omodeo / rank @@
-Normal rank
@@ Property / author @@
+Domenico Cantone
@@ Property / author: Domenico Cantone / rank @@
+Normal rank
@@ Property / author @@
+Eugenio Giovanni Omodeo
@@ Property / author: Eugenio Giovanni Omodeo / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2020.08.023
+Normal rank
@@ Property / OpenAlex ID @@
+W3080392153
@@ Property / OpenAlex ID: W3080392153 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091421
@@ Property / cites work: Q4091421 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Boolean expressions into logic programming
+Normal rank
@@ Property / cites work @@
+Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators
+Normal rank
@@ Property / cites work @@
+Q3999861
@@ Property / cites work: Q3999861 / rank @@
+Normal rank
@@ Property / cites work @@
+The automation of syllogistic. II: Optimization and complexity issues
+Normal rank
@@ Property / cites work @@
+Q2740887
@@ Property / cites work: Q2740887 / rank @@
+Normal rank
@@ Property / cites work @@
+Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators
+Normal rank
@@ Property / cites work @@
+Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate
+Normal rank
@@ Property / cites work @@
+An Introduction to the Technique of Formative Processes in Set Theory
+Normal rank
@@ Property / cites work @@
+Q4503906
@@ Property / cites work: Q4503906 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving quantifier-free first-order constraints over finite sets and binary relations
+Normal rank
@@ Property / cites work @@
+Set unification
@@ Property / cites work: Set unification / rank @@
+Normal rank
@@ Property / cites work @@
+{log}: A language for programming in logic with finite sets
+Normal rank
@@ Property / cites work @@
+Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval propagation to reason about sets: Definition and implementation of a practical language
+Normal rank
@@ Property / cites work @@
+Q4160889
@@ Property / cites work: Q4160889 / rank @@
+Normal rank
@@ Property / cites work @@
+On Sets and Graphs
@@ Property / cites work: On Sets and Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Logic and Set Theory
@@ Property / cites work: Computational Logic and Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A new algorithm for optimal 2-constraint satisfaction and its implications
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2215960