Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG] (Q3618574): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-00982-2_11
+Normal rank
@@ Property / OpenAlex ID @@
+W1582229778
@@ Property / OpenAlex ID: W1582229778 / 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 @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542541
@@ Property / cites work: Q4542541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3044318
@@ Property / cites work: Q3044318 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular languages defined by generalized first-order formulas with a bounded number of bound variables
+Normal rank
@@ Property / cites work @@
+Linear Circuits, Two-Variable Logic and Weakly Blocked Monoids
+Normal rank
@@ Property / cites work @@
+Bounded-width polynomial-size branching programs recognize exactly those languages in \(NC^ 1\)
+Normal rank
@@ Property / cites work @@
+Amplifying lower bounds by means of self-reducibility
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3769981
@@ Property / cites work: Q3769981 / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+The descriptive complexity approach to LOGCFL
@@ Property / cites work: The descriptive complexity approach to LOGCFL / rank @@
+Normal rank
@@ Property / cites work @@
+The kernel of monoid morphisms
@@ Property / cites work: The kernel of monoid morphisms / rank @@
+Normal rank