Descriptive complexity of \#P functions: a new perspective (Q2220444): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2345028735
@@ Property / OpenAlex ID: W2345028735 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of computing the permanent
@@ Property / cites work: The complexity of computing the permanent / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptive complexity of \(\#\)P functions
@@ Property / cites work: Descriptive complexity of \(\#\)P functions / rank @@
+Normal rank
@@ Property / cites work @@
+A logical characterization of the counting hierarchy
+Normal rank
@@ Property / cites work @@
+Q5465356
@@ Property / cites work: Q5465356 / rank @@
+Normal rank
@@ Property / cites work @@
+A model-theoretic characterization of constant-depth arithmetic circuits
+Normal rank
@@ Property / cites work @@
+Approximation algorithms for metric facility location and             <i>k</i>             -Median problems using the primal-dual schema and Lagrangian relaxation
+Normal rank
@@ Property / cites work @@
+Q5144698
@@ Property / cites work: Q5144698 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth
+Normal rank
@@ Property / cites work @@
+Counting of Teams in First-Order Team Logics
@@ Property / cites work: Counting of Teams in First-Order Team Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / 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 @@
+On \(\text{TC}^0,\text{AC}^0\), and arithmetic circuits
+Normal rank
@@ Property / cites work @@
+Q4267800
@@ Property / cites work: Q4267800 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535013
@@ Property / cites work: Q4535013 / rank @@
+Normal rank
@@ Property / cites work @@
+Subtractive reductions and complete problems for counting complexity classes
+Normal rank
@@ Property / cites work @@
+Q2833177
@@ Property / cites work: Q2833177 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph properties checkable in linear time in the number of vertices
+Normal rank
@@ Property / cites work @@
+A hierarchy for nondeterministic time complexity
@@ Property / cites work: A hierarchy for nondeterministic time complexity / rank @@
+Normal rank