On symmetric circuits and fixed-point logics (Q2363965): Difference between revisions

@@ Property / cites work @@
+Q2965470
@@ Property / cites work: Q2965470 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximum Matching and Linear Programming in Fixed-Point Logic with Counting
+Normal rank
@@ Property / cites work @@
+Choiceless polynomial time
@@ Property / cites work: Choiceless polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal lower bound on the number of variables for graph identification
+Normal rank
@@ Property / cites work @@
+Boolean Functions, Invariance Groups, and Parallel Complexity
+Normal rank
@@ Property / cites work @@
+A restricted second order logic for finite structures
+Normal rank
@@ Property / cites work @@
+Fixed Point Logics
@@ Property / cites work: Fixed Point Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs
+Normal rank
@@ Property / cites work @@
+Definability by constant-depth polynomial-size circuits
+Normal rank
@@ Property / cites work @@
+Q4255575
@@ Property / cites work: Q4255575 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point definability and polynomial time on graphs with excluded minors
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4332930
@@ Property / cites work: Q4332930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362929
@@ Property / cites work: Q4362929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4393484
@@ Property / cites work: Q4393484 / rank @@
+Normal rank