On Existentially First-Order Definable Languages and Their Relation to NP (Q4718893): Difference between revisions

@@ Property / author @@
+Bernd Borchert
@@ Property / author: Bernd Borchert / rank @@
+Normal rank
@@ Property / author @@
+Dietrich Kuske
@@ Property / author: Dietrich Kuske / rank @@
+Normal rank
@@ Property / author @@
+Frank Stephan
@@ Property / author: Frank Stephan / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1964316889
@@ Property / OpenAlex ID: W1964316889 / rank @@
+Normal rank
@@ Property / cites work @@
+Counting classes: Thresholds, parity, mods, and fewness
+Normal rank
@@ Property / cites work @@
+On the acceptance power of regular languages
@@ Property / cites work: On the acceptance power of regular languages / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform approach to define complexity classes
@@ Property / cites work: A uniform approach to define complexity classes / rank @@
+Normal rank
@@ Property / cites work @@
+LINDSTRÖM QUANTIFIERS AND LEAF LANGUAGE DEFINABILITY
+Normal rank
@@ Property / cites work @@
+The Boolean Hierarchy I: Structural Properties
@@ Property / cites work: The Boolean Hierarchy I: Structural Properties / rank @@
+Normal rank
@@ Property / cites work @@
+On unique satisfiability and the threshold behavior of randomized reductions
+Normal rank
@@ Property / cites work @@
+Polynomial closure and unambiguous product
@@ Property / cites work: Polynomial closure and unambiguous product / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank
@@ Property / cites work @@
+PP is as Hard as the Polynomial-Time Hierarchy
@@ Property / cites work: PP is as Hard as the Polynomial-Time Hierarchy / rank @@
+Normal rank