Limiting semantics of numerical programs (Q1392276): Difference between revisions

@@ Property / author @@
+Douglas N. Hoover
@@ Property / author: Douglas N. Hoover / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3910522
@@ Property / cites work: Q3910522 / 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 @@
+A Simple but Realistic Model of Floating-Point Computation
+Normal rank
@@ Property / cites work @@
+Q2757806
@@ Property / cites work: Q2757806 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical systems, measures, and fractals via domain theory
+Normal rank
@@ Property / cites work @@
+Domain theory and integration
@@ Property / cites work: Domain theory and integration / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625129
@@ Property / cites work: Q5625129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+Limiting semantics of numerical programs
@@ Property / cites work: Limiting semantics of numerical programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222761
@@ Property / cites work: Q4222761 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226265
@@ Property / cites work: Q3226265 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank
@@ Property / cites work @@
+Q3857704
@@ Property / cites work: Q3857704 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathbb{T}^\omega\) as a universal domain
@@ Property / cites work: \(\mathbb{T}^\omega\) as a universal domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316563
@@ Property / cites work: Q3316563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821265
@@ Property / cites work: Q3821265 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3359391
@@ Property / cites work: Q3359391 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of Quasi-Uniform and Syntopological Spaces
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(96)00050-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2091718659
@@ Property / OpenAlex ID: W2091718659 / rank @@
+Normal rank