Proof system representations of degrees of disjoint NP-pairs (Q1944897): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2011.01.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1969650910
@@ Property / OpenAlex ID: W1969650910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3692867
@@ Property / cites work: Q3692867 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Models of Computation
@@ Property / cites work: Theory and Applications of Models of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of representable disjoint \textsf{NP}-pairs
+Normal rank
@@ Property / cites work @@
+Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Disjoint NP-Pairs
@@ Property / cites work: Disjoint NP-Pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical disjoint NP-pairs of propositional proof systems
+Normal rank
@@ Property / cites work @@
+THE INFORMATIONAL CONTENT OF CANONICAL DISJOINT NP-PAIRS
+Normal rank
@@ Property / cites work @@
+Complexity Measures for Public-Key Cryptosystems
@@ Property / cites work: Complexity Measures for Public-Key Cryptosystems / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and complexity theory
@@ Property / cites work: Computability and complexity theory / rank @@
+Normal rank
@@ Property / cites work @@
+Inseparability and Strong Hypotheses for Disjoint NP Pairs.
+Normal rank
@@ Property / cites work @@
+On reducibility and symmetry of disjoint NP pairs.
+Normal rank
@@ Property / cites work @@
+Q5422270
@@ Property / cites work: Q5422270 / rank @@
+Normal rank