Computation by `While' programs on topological partial algebras (Q1292414): Difference between revisions

@@ Property / cites work @@
+Domain representability of metric spaces
@@ Property / cites work: Domain representability of metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
@@ Property / cites work: COMPLEXITY AND REAL COMPUTATION: A MANIFESTO / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Recursive characterization of computable real-valued functions and relations
+Normal rank
@@ Property / cites work @@
+Order-free Recursion on the Real Numbers
@@ Property / cites work: Order-free Recursion on the Real Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5737081
@@ Property / cites work: Q5737081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4127981
@@ Property / cites work: Q4127981 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory and integration
@@ Property / cites work: Domain theory and integration / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical systems, measures, and fractals via domain theory
+Normal rank
@@ Property / cites work @@
+A domain-theoretic approach to computability on the real line
+Normal rank
@@ Property / cites work @@
+Algorithmic approximations
@@ Property / cites work: Algorithmic approximations / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic properties of structures
@@ Property / cites work: Algorithmic properties of structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5569439
@@ Property / cites work: Q5569439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538913
@@ Property / cites work: Q5538913 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of generalized recursion theory
@@ Property / cites work: Fundamentals of generalized recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625129
@@ Property / cites work: Q5625129 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable functionals
@@ Property / cites work: Computable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of representations
@@ Property / cites work: Theory of representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226754
@@ Property / cites work: Q3226754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive metric spaces
@@ Property / cites work: Recursive metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract First Order Computability. I
@@ Property / cites work: Abstract First Order Computability. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5654032
@@ Property / cites work: Q5654032 / rank @@
+Normal rank
@@ Property / cites work @@
+On a simple definition of computable function of a real variable‐with applications to functions of a complex variable
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Real Numbers
@@ Property / cites work: Recursive Real Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On the Definition of Computable Function of a Real Variable
+Normal rank
@@ Property / cites work @@
+Q4023580
@@ Property / cites work: Q4023580 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete local rings as domains
@@ Property / cites work: Complete local rings as domains / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and fixed point equations over inverse limits of algebras
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete models of computation for topological algebras
+Normal rank
@@ Property / cites work @@
+Q5586318
@@ Property / cites work: Q5586318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3050415
@@ Property / cites work: Q3050415 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039815
@@ Property / cites work: Q4039815 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic and nondeterministic computation, and horn programs, on abstract data types
+Normal rank
@@ Property / cites work @@
+Examples of semicomputable sets of real and complex numbers
+Normal rank
@@ Property / cites work @@
+Theory of computation over stream algebras, and its applications
+Normal rank
@@ Property / cites work @@
+Q3138835
@@ Property / cites work: Q3138835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842541
@@ Property / cites work: Q4842541 / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
+Normal rank
@@ Property / cites work @@
+Q3751553
@@ Property / cites work: Q3751553 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding metric spaces into CPO's
@@ Property / cites work: Embedding metric spaces into CPO's / rank @@
+Normal rank