Implicit complexity over an arbitrary structure: Quantifier alternations (Q2490113): Difference between revisions

@@ Property / Wikidata QID @@
+Q57733184
@@ Property / Wikidata QID: Q57733184 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Choice
@@ Property / cites work: The Logic of Choice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850544
@@ Property / cites work: Q4850544 / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Q4417859
@@ Property / cites work: Q4417859 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time
+Normal rank
@@ Property / cites work @@
+On the Complexity of Quantifier Elimination: the Structural Approach
+Normal rank
@@ Property / cites work @@
+Logics which capture complexity classes over the reals
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4058132
@@ Property / cites work: Q4058132 / rank @@
+Normal rank
@@ Property / cites work @@
+Tailoring recursion for complexity
@@ Property / cites work: Tailoring recursion for complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234078
@@ Property / cites work: Q4234078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of higher-order types or, life without CONS
+Normal rank
@@ Property / cites work @@
+Q4850553
@@ Property / cites work: Q4850553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142166
@@ Property / cites work: Q3142166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474861
@@ Property / cites work: Q4474861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767004
@@ Property / cites work: Q2767004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4841154
@@ Property / cites work: Q4841154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3902993
@@ Property / cites work: Q3902993 / rank @@
+Normal rank