Ramified Corecurrence and Logspace (Q5739361): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2011.09.025
@@ Property / DOI: 10.1016/j.entcs.2011.09.025 / 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/j.entcs.2011.09.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2094867196
@@ Property / OpenAlex ID: W2094867196 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318220
@@ Property / Wikidata QID: Q113318220 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Sequences
@@ Property / cites work: Automatic Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Some Programming Languages for Logspace and Ptime
@@ Property / cites work: Some Programming Languages for Logspace and Ptime / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded arithmetic for NC, ALogTIME, L and NL
@@ Property / cites work: Bounded arithmetic for NC, ALogTIME, L and NL / rank @@
+Normal rank
@@ Property / cites work @@
+Space Lower Bounds for Maze Threadability on Restricted Machines
+Normal rank
@@ Property / cites work @@
+Functional interpretations of feasibly constructive arithmetic
+Normal rank
@@ Property / cites work @@
+Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity
+Normal rank
@@ Property / cites work @@
+Global and Local Space Properties of Stream Programs
+Normal rank
@@ Property / cites work @@
+On non-determinacy in simple computing devices
@@ Property / cites work: On non-determinacy in simple computing devices / rank @@
+Normal rank
@@ Property / cites work @@
+LOGSPACE and PTIME characterized by programming languages
+Normal rank
@@ Property / cites work @@
+Neat function algebraic characterizations of LOGSPACE and LINSPACE
+Normal rank
@@ Property / cites work @@
+Q4850553
@@ Property / cites work: Q4850553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474861
@@ Property / cites work: Q4474861 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3081649
@@ Property / cites work: Q3081649 / rank @@
+Normal rank
@@ Property / cites work @@
+Feasible Functions over Co-inductive Data
@@ Property / cites work: Feasible Functions over Co-inductive Data / rank @@
+Normal rank
@@ Property / cites work @@
+Q3979259
@@ Property / cites work: Q3979259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251915
@@ Property / cites work: Q4251915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124336
@@ Property / cites work: Q4124336 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4267198
@@ Property / cites work: Q4267198 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2718773
@@ Property / cites work: Q2718773 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2011.09.025
@@ Property / DOI: 10.1016/J.ENTCS.2011.09.025 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5739361