Models of computation for partial functions on the reals (Q2258841): Difference between revisions

@@ Property / cites work @@
+Q3075211
@@ Property / cites work: Q3075211 / rank @@
+Normal rank
@@ Property / cites work @@
+Stability of representations of effective partial algebras
+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 @@
+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 @@
+A Real Number Structure that is Effectively Categorical
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226754
@@ Property / cites work: Q3226754 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive metric spaces
@@ Property / cites work: Recursive metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Some undecidable problems involving elementary functions of a real variable
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+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 @@
+Computation by `While' programs on topological partial algebras
+Normal rank
@@ Property / cites work @@
+Abstract versus concrete computation on metric partial algebras
+Normal rank
@@ Property / cites work @@
+Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
+Normal rank
@@ Property / cites work @@
+Q5477367
@@ Property / cites work: Q5477367 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank