On effective topological spaces (Q4391431): Difference between revisions

@@ Property / author @@
+Dieter Spreen
@@ Property / author: Dieter Spreen / rank @@
+Normal rank
@@ 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.2307/2586596
@@ Property / full work available at URL: https://doi.org/10.2307/2586596 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2010975208
@@ Property / OpenAlex ID: W2010975208 / 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 @@
+Completeness of Quasi-Uniform and Syntopological Spaces
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+Total sets and objects in domain theory
@@ Property / cites work: Total sets and objects in domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity and comprehension in intuitionistic formal systems
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / 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 @@
+Effective operations on partial recursive functions
+Normal rank
@@ Property / cites work @@
+On Effectively Computable Operators
@@ Property / cites work: On Effectively Computable Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751553
@@ Property / cites work: Q3751553 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively given domains and lambda-calculus models
+Normal rank
@@ Property / cites work @@
+Discontinuities of provably correct operators on the provably recursive real numbers
+Normal rank
@@ Property / cites work @@
+Theorie der Numerierungen I
@@ Property / cites work: Theorie der Numerierungen I / rank @@
+Normal rank
@@ Property / cites work @@
+Effective inseparability in a topological setting
@@ Property / cites work: Effective inseparability in a topological setting / rank @@
+Normal rank
@@ Property / cites work @@
+Computability concepts for programming language semantics
+Normal rank