On the locality of arb-invariant first-order formulas with modulo counting quantifiers (Q2974792): Difference between revisions

@@ Property / cites work @@
+Locality from Circuit Lower Bounds
@@ Property / cites work: Locality from Circuit Lower Bounds / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+On uniformity within \(NC^ 1\)
@@ Property / cites work: On uniformity within \(NC^ 1\) / rank @@
+Normal rank
@@ Property / cites work @@
+Regular tree languages definable in FO and in FO             <sub>               <i>mod</i>             </sub>
+Normal rank
@@ Property / cites work @@
+Towards a characterization of order-invariant queries over tame graphs
+Normal rank
@@ Property / cites work @@
+Q4255575
@@ Property / cites work: Q4255575 / rank @@
+Normal rank
@@ Property / cites work @@
+On monadic NP vs monadic co-NP
@@ Property / cites work: On monadic NP vs monadic co-NP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218118
@@ Property / cites work: Q4218118 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958533
@@ Property / cites work: Q2958533 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of locality and their logical characterizations over finite models
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4529547
@@ Property / cites work: Q4529547 / rank @@
+Normal rank
@@ Property / cites work @@
+A Short Tutorial on Order-Invariant First-Order Logic
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank