A predicative and decidable characterization of the polynomial classes of languages (Q1589422): Difference between revisions

@@ Property / author @@
+Salvatore Caporaso
@@ Property / author: Salvatore Caporaso / rank @@
+Normal rank
@@ Property / author @@
+Michele Zito
@@ Property / author: Michele Zito / rank @@
+Normal rank
@@ Property / author @@
+Nicola Galesi
@@ Property / author: Nicola Galesi / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850544
@@ Property / cites work: Q4850544 / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+SAFE TURING MACHINES, GRZEGORCZYK CLASSES AND POLYTIME
+Normal rank
@@ Property / cites work @@
+Undecidability vs transfinite induction for the consistency of hyperarithmetical sets
+Normal rank
@@ Property / cites work @@
+Q5586401
@@ Property / cites work: Q5586401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474861
@@ Property / cites work: Q4474861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Beweistheoretische Untersuchung der verzweigten Analysis
+Normal rank
@@ Property / cites work @@
+Rekursionszahlen und die Grzegorczyk-Hierarchie
@@ Property / cites work: Rekursionszahlen und die Grzegorczyk-Hierarchie / rank @@
+Normal rank