Non-determinism in Gödel's system \(T\) (Q693050): Difference between revisions

@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / 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 @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\)
+Normal rank
@@ Property / cites work @@
+Recursion in Higher Types and Resource Bounded Turing Machines
+Normal rank
@@ Property / cites work @@
+Higher Types, Finite Domains and Resource-bounded Turing Machines
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Q4281486
@@ Property / cites work: Q4281486 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain-Theoretic Foundations of Functional Programming
+Normal rank
@@ Property / cites work @@
+Q4767297
@@ Property / cites work: Q4767297 / rank @@
+Normal rank