Downward translations of equality (Q914368): 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/0304-3975(90)90099-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2080042331
@@ Property / OpenAlex ID: W2080042331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039803
@@ Property / cites work: Q4039803 / rank @@
+Normal rank
@@ Property / cites work @@
+Tally languages and complexity classes
@@ Property / cites work: Tally languages and complexity classes / rank @@
+Normal rank
@@ Property / cites work @@
+Relativizing Time, Space, and Time-Space
@@ Property / cites work: Relativizing Time, Space, and Time-Space / rank @@
+Normal rank
@@ Property / cites work @@
+Q4107930
@@ Property / cites work: Q4107930 / rank @@
+Normal rank
@@ Property / cites work @@
+Sparse sets in NP-P: EXPTIME versus NEXPTIME
@@ Property / cites work: Sparse sets in NP-P: EXPTIME versus NEXPTIME / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Sparse Sets in : Relativizations
@@ Property / cites work: Sparse Sets in : Relativizations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815511
@@ Property / cites work: Q3815511 / rank @@
+Normal rank
@@ Property / cites work @@
+Oracle‐Constructions to Prove All Possible Relationships Between Relativizations of P, NP, EL, NEL, EP and NEP
+Normal rank
@@ Property / cites work @@
+Some results on relativized deterministic and nondeterministic time hierarchies
+Normal rank
@@ Property / cites work @@
+On-line simulation of k + 1 tapes by k tapes requires nonlinear time
+Normal rank
@@ Property / cites work @@
+Limitations on Separating Nondeterministic Complexity Classes
+Normal rank
@@ Property / cites work @@
+Complexity of Presburger arithmetic with fixed quantifier dimension
+Normal rank