Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\) (Q1015376): 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.1007/s00224-007-9021-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2084909062
@@ Property / OpenAlex ID: W2084909062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934292
@@ Property / cites work: Q4934292 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial functions with exponentiation are well ordered
+Normal rank
@@ Property / cites work @@
+Rudimentary relations and primitive recursion: A toolbox
+Normal rank
@@ Property / cites work @@
+Some Relations between Classes of Low Computational Complexity
+Normal rank
@@ Property / cites work @@
+Q3979266
@@ Property / cites work: Q3979266 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing complexity classes by higher type primitive recursive definitions
+Normal rank
@@ Property / cites work @@
+Q5824357
@@ Property / cites work: Q5824357 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of higher-order types or, life without CONS
+Normal rank
@@ Property / cites work @@
+Neat function algebraic characterizations of LOGSPACE and LINSPACE
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity classes and fragments of C
@@ Property / cites work: Complexity classes and fragments of C / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3370734
@@ Property / cites work: Q3370734 / 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 @@
+Small Grzegorczyk Classes
@@ Property / cites work: Small Grzegorczyk Classes / rank @@
+Normal rank
@@ Property / cites work @@
+An ordinal bound for the set of polynomial functions with exponentiation
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3689182
@@ Property / cites work: Q3689182 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Predictably Computable Functions
@@ Property / cites work: Classes of Predictably Computable Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934291
@@ Property / cites work: Q4934291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241196
@@ Property / cites work: Q3241196 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1015376