Representations versus numberings: On the relationship of two computability notions (Q5958133): Difference between revisions

@@ Property / cites work @@
+The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
+Normal rank
@@ Property / cites work @@
+The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals
+Normal rank
@@ Property / cites work @@
+Continuity and comprehension in intuitionistic formal systems
+Normal rank
@@ Property / cites work @@
+Church's thesis, continuity, and set theory
@@ Property / cites work: Church's thesis, continuity, and set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic operators in constructive metric spaces
+Normal rank
@@ Property / cites work @@
+Computability concepts for programming language semantics
+Normal rank
@@ Property / cites work @@
+Computable functionals of finite types
@@ Property / cites work: Computable functionals of finite types / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie der Numerierungen I
@@ Property / cites work: Theorie der Numerierungen I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111546
@@ Property / cites work: Q4111546 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie Der Numerierungen III
@@ Property / cites work: Theorie Der Numerierungen III / rank @@
+Normal rank
@@ Property / cites work @@
+Q3248969
@@ Property / cites work: Q3248969 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively given domains and lambda-calculus models
+Normal rank
@@ Property / cites work @@
+On Effectively Computable Operators
@@ Property / cites work: On Effectively Computable Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217598
@@ Property / cites work: Q4217598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599159
@@ Property / cites work: Q5599159 / rank @@
+Normal rank
@@ Property / cites work @@
+The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
+Normal rank
@@ Property / cites work @@
+Recursive metric spaces
@@ Property / cites work: Recursive metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+A Comparison of Five “Computable” Operators
@@ Property / cites work: A Comparison of Five “Computable” Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316563
@@ Property / cites work: Q3316563 / rank @@
+Normal rank
@@ Property / cites work @@
+On some decision problems in programming
@@ Property / cites work: On some decision problems in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217610
@@ Property / cites work: Q4217610 / rank @@
+Normal rank
@@ Property / cites work @@
+On effective topological spaces
@@ Property / cites work: On effective topological spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4528533
@@ Property / cites work: Q4528533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3676137
@@ Property / cites work: Q3676137 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and fixed point equations over inverse limits of algebras
+Normal rank
@@ Property / cites work @@
+Q3751553
@@ Property / cites work: Q3751553 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability on computable metric spaces
@@ Property / cites work: Computability on computable metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+An Effective Operator, Continuous but not Partial Recursive
+Normal rank
@@ Property / cites work @@
+Discontinuities of provably correct operators on the provably recursive real numbers
+Normal rank