On the relations between distributive computability and the BSS model (Q1349919): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(95)00247-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1969367420
@@ Property / OpenAlex ID: W1969367420 / 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 @@
+Introduction to extensive and distributive categories
+Normal rank
@@ Property / cites work @@
+An imperative language based on distributive categories II
+Normal rank
@@ Property / cites work @@
+Q4729767
@@ Property / cites work: Q4729767 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on recursive functions
@@ Property / cites work: A note on recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978979
@@ Property / cites work: Q3978979 / rank @@
+Normal rank
@@ Property / cites work @@
+An imperative language based on distributive categories
+Normal rank