Program self-reference in constructive Scott subdomains (Q693046): Difference between revisions

@@ 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.1007/s00224-011-9372-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1974197627
@@ Property / OpenAlex ID: W1974197627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4460829
@@ Property / cites work: Q4460829 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Theory of the Complexity of Recursive Functions
+Normal rank
@@ Property / cites work @@
+A Note on Degrees of Self-Describing Turing Machines
+Normal rank
@@ Property / cites work @@
+Periodicity in generations of automata
@@ Property / cites work: Periodicity in generations of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary self-reference in learning theory
@@ Property / cites work: Infinitary self-reference in learning theory / rank @@
+Normal rank
@@ Property / cites work @@
+Independence Results for n-Ary Recursion Theorems
@@ Property / cites work: Independence Results for n-Ary Recursion Theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Program Self-reference in Constructive Scott Subdomains
+Normal rank
@@ Property / cites work @@
+The essence of translation
@@ Property / cites work: The essence of translation / rank @@
+Normal rank
@@ Property / cites work @@
+Index Sets and Universal Numberings
@@ Property / cites work: Index Sets and Universal Numberings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5725993
@@ Property / cites work: Q5725993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4153600
@@ Property / cites work: Q4153600 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple Gödel Numberings, Isomorphisms, and Programming Properties
+Normal rank
@@ Property / cites work @@
+Gödel numberings of partial recursive functions
@@ Property / cites work: Gödel numberings of partial recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+A connotational theory of program structure
@@ Property / cites work: A connotational theory of program structure / rank @@
+Normal rank
@@ Property / cites work @@
+Computable one-to-one enumerations of effective domains
+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 @@
+Q5457390
@@ Property / cites work: Q5457390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023580
@@ Property / cites work: Q4023580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5725994
@@ Property / cites work: Q5725994 / rank @@
+Normal rank