Proof systems that take advice (Q553297): Difference between revisions

@@ Property / cites work @@
+Q4501542
@@ Property / cites work: Q4501542 / rank @@
+Normal rank
@@ Property / cites work @@
+Logarithmic advice classes
@@ Property / cites work: Logarithmic advice classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039803
@@ Property / cites work: Q4039803 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic Instance Complexity and Proof Systems with Advice
+Normal rank
@@ Property / cites work @@
+A tight Karp-Lipton collapse result in bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Does Advice Help to Prove Propositional Tautologies?
+Normal rank
@@ Property / cites work @@
+Tally languages and complexity classes
@@ Property / cites work: Tally languages and complexity classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418680
@@ Property / cites work: Q4418680 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource-Bounded Kolmogorov Complexity Revisited
@@ Property / cites work: Resource-Bounded Kolmogorov Complexity Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Competing provers yield improved Karp-Lipton collapse results
+Normal rank
@@ Property / cites work @@
+Consequences of the provability of <i>NP</i> ⊆ <i>P</i>/<i>poly</i>
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Optimal proof systems imply complete sets for promise classes
+Normal rank
@@ Property / cites work @@
+Propositional proof systems, the consistency of first order theories and the complexity of computations
+Normal rank
@@ Property / cites work @@
+Instance complexity
@@ Property / cites work: Instance complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215637
@@ Property / cites work: Q4215637 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/iandc/BeyersdorffKM11
@@ Property / DBLP publication ID: journals/iandc/BeyersdorffKM11 / rank @@
+Normal rank