On time-space classes and their relation to the theory of real addition (Q1155607): Difference between revisions

@@ Property / author @@
-Albert R. Meyer
@@ Property / author: Albert R. Meyer / rank @@
-Normal rank
@@ Property / author @@
+Albert R. Meyer
@@ Property / author: Albert R. Meyer / rank @@
+Normal rank
@@ 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(80)90036-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1965844655
@@ Property / OpenAlex ID: W1965844655 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of logical theories
@@ Property / cites work: The complexity of logical theories / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for the First Order Theory of Real Addition with Order
+Normal rank
@@ Property / cites work @@
+The computational complexity of logical theories
@@ Property / cites work: The computational complexity of logical theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4082296
@@ Property / cites work: Q4082296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880807
@@ Property / cites work: Q3880807 / rank @@
+Normal rank
@@ Property / cites work @@
+On restricted turing computability
@@ Property / cites work: On restricted turing computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5075307
@@ Property / cites work: Q5075307 / rank @@
+Normal rank
@@ Property / cites work @@
+Techniques for separating space complexity classes
+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 @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1155607