Implicit characterizations of FPTIME and NC revisited (Q1044672): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2147387242
@@ Property / OpenAlex ID: W2147387242 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436023
@@ Property / cites work: Q4436023 / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Ranking Primitive Recursions: The Low Grzegorczyk Classes Revisited
+Normal rank
@@ Property / cites work @@
+Higher type recursion, ramification and polynomial time
+Normal rank
@@ Property / cites work @@
+Function-algebraic characterizations of log and polylog parallel time
+Normal rank
@@ Property / cites work @@
+Towards an Implicit Characterization of NC k
@@ Property / cites work: Towards an Implicit Characterization of NC k / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035303
@@ Property / cites work: Q4035303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934292
@@ Property / cites work: Q4934292 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear types and non-size-increasing polynomial time computation.
+Normal rank
@@ Property / cites work @@
+On the computational complexity of imperative programming languages
+Normal rank
@@ Property / cites work @@
+Q4035315
@@ Property / cites work: Q4035315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850553
@@ Property / cites work: Q4850553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142166
@@ Property / cites work: Q3142166 / rank @@
+Normal rank
@@ Property / cites work @@
+The \(\mu\)-measure as a tool for classifying computational complexity
+Normal rank
@@ Property / cites work @@
+Control structures in programs and computational complexity
+Normal rank
@@ Property / cites work @@
+Certifying Polynomial Time and Linear/Polynomial Space for Imperative Programs
+Normal rank
@@ Property / cites work @@
+Q4339320
@@ Property / cites work: Q4339320 / rank @@
+Normal rank
@@ Property / cites work @@
+The realm of primitive recursion
@@ Property / cites work: The realm of primitive recursion / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1044672