A Characterization of NC k by First Order Functional Programs (Q3502640): 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/978-3-540-79228-4_12
+Normal rank
@@ Property / OpenAlex ID @@
+W82168598
@@ Property / OpenAlex ID: W82168598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681361
@@ Property / cites work: Q4681361 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+On uniformity within \(NC^ 1\)
@@ Property / cites work: On uniformity within \(NC^ 1\) / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+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 @@
+Q4475109
@@ Property / cites work: Q4475109 / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterization of Alternating Log Time by First Order Functional Programs
+Normal rank
@@ Property / cites work @@
+Quasi-interpretations. A way to control resources
@@ Property / cites work: Quasi-interpretations. A way to control resources / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035303
@@ Property / cites work: Q4035303 / rank @@
+Normal rank
@@ Property / cites work @@
+A Soft Type Assignment System for λ-Calculus
@@ Property / cites work: A Soft Type Assignment System for λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded linear logic: A modular approach to polynomial-time computability
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+Soft linear logic and polynomial time
@@ Property / cites work: Soft linear logic and polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850553
@@ Property / cites work: Q4850553 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of alternating log time by ramified recurrence
+Normal rank
@@ Property / cites work @@
+Q2767004
@@ Property / cites work: Q2767004 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource Analysis by Sup-interpretation
@@ Property / cites work: Resource Analysis by Sup-interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Certifying Polynomial Time and Linear/Polynomial Space for Imperative Programs
+Normal rank
@@ Property / cites work @@
+On uniform circuit complexity
@@ Property / cites work: On uniform circuit complexity / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3502640