Computability and Recursion (Q5689263): Difference between revisions

@@ Property / cites work @@
+Alan Turing and the Central Limit Theorem
@@ Property / cites work: Alan Turing and the Central Limit Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The word problem in semi-groups with cancellation
@@ Property / cites work: The word problem in semi-groups with cancellation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893911
@@ Property / cites work: Q3893911 / rank @@
+Normal rank
@@ Property / cites work @@
+The constructive second number class
@@ Property / cites work: The constructive second number class / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the Entscheidungsproblem
@@ Property / cites work: A note on the Entscheidungsproblem / rank @@
+Normal rank
@@ Property / cites work @@
+An Unsolvable Problem of Elementary Number Theory
@@ Property / cites work: An Unsolvable Problem of Elementary Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052072
@@ Property / cites work: Q4052072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4401917
@@ Property / cites work: Q4401917 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of recursive functions, approaching its centennial
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+A note on recursive functions
@@ Property / cites work: A note on recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+\(\lambda\)-definability and recursiveness
@@ Property / cites work: \(\lambda\)-definability and recursiveness / rank @@
+Normal rank
@@ Property / cites work @@
+General recursive functions of natural numbers
@@ Property / cites work: General recursive functions of natural numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Unsolvability of a problem of Thue
@@ Property / cites work: Recursive Unsolvability of a problem of Thue / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Formal Reductions of the General Combinatorial Decision Problem
+Normal rank
@@ Property / cites work @@
+Q3993070
@@ Property / cites work: Q3993070 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite combinatory processes—formulation
@@ Property / cites work: Finite combinatory processes—formulation / rank @@
+Normal rank
@@ Property / cites work @@
+Why Gödel didn't have church's thesis
@@ Property / cites work: Why Gödel didn't have church's thesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5805955
@@ Property / cites work: Q5805955 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3327698
@@ Property / cites work: Q3327698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040360
@@ Property / cites work: Q4040360 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and λ-definability
@@ Property / cites work: Computability and λ-definability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of computability theory
@@ Property / cites work: Handbook of computability theory / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank