Universal quantifiers and time complexity of random access machines (Q3699679): Difference between revisions

@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy for nondeterministic time complexity
@@ Property / cites work: A hierarchy for nondeterministic time complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Time bounded random access machines
@@ Property / cites work: Time bounded random access machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4058132
@@ Property / cites work: Q4058132 / rank @@
+Normal rank
@@ Property / cites work @@
+A spectrum hierarchy
@@ Property / cites work: A spectrum hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+The Spectra of First-Order Sentences and Computational Complexity
+Normal rank
@@ Property / cites work @@
+Number of quantifiers is better than number of tape cells
+Normal rank
@@ Property / cites work @@
+Upper and lower bounds for first order expressibility
+Normal rank
@@ Property / cites work @@
+Turing machines and the spectra of first-order formulas
+Normal rank
@@ Property / cites work @@
+Complexity results for classes of quantificational formulas
+Normal rank
@@ Property / cites work @@
+Some Remarks on Generalized Spectra
@@ Property / cites work: Some Remarks on Generalized Spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity classes and theories of finite models
@@ Property / cites work: Complexity classes and theories of finite models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778268
@@ Property / cites work: Q4778268 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140413
@@ Property / cites work: Q4140413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068695
@@ Property / cites work: Q4068695 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bound results on lengths of second-order formulas
+Normal rank
@@ Property / cites work @@
+Storage Modification Machines
@@ Property / cites work: Storage Modification Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Separating Nondeterministic Time Complexity Classes
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4773294
@@ Property / cites work: Q4773294 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01699468
+Normal rank
@@ Property / OpenAlex ID @@
+W2006484856
@@ Property / OpenAlex ID: W2006484856 / rank @@
+Normal rank