First-order definable counting-only queries (Q5919275): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282593
@@ Property / cites work: Q4282593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4172944
@@ Property / cites work: Q4172944 / rank @@
+Normal rank
@@ Property / cites work @@
+On logics with two variables
@@ Property / cites work: On logics with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Variable Logics in Descriptive Complexity Theory
+Normal rank
@@ Property / cites work @@
+Calculi for symmetric queries
@@ Property / cites work: Calculi for symmetric queries / rank @@
+Normal rank
@@ Property / cites work @@
+First-order definable counting-only queries
@@ Property / cites work: First-order definable counting-only queries / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144680
@@ Property / cites work: Q5144680 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for classes of quantificational formulas
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of the relational algebra
@@ Property / cites work: On the expressive power of the relational algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223096
@@ Property / cites work: Q4223096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955349
@@ Property / cites work: Q4955349 / rank @@
+Normal rank
@@ Property / cites work @@
+DECOMPOSING GENERALIZED QUANTIFIERS
@@ Property / cites work: DECOMPOSING GENERALIZED QUANTIFIERS / rank @@
+Normal rank