Theory of computation over stream algebras, and its applications (Q5096820): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3896478
@@ Property / cites work: Q3896478 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specifications of computable and semicomputable data types
+Normal rank
@@ Property / cites work @@
+Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
+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 @@
+Q4385535
@@ Property / cites work: Q4385535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205083
@@ Property / cites work: Q4205083 / rank @@
+Normal rank
@@ Property / cites work @@
+PROJECTIONS OF SEMICOMPUTABLE RELATIONS ON ABSTRACT DATA TYPES
+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 @@
+Q3138835
@@ Property / cites work: Q3138835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-55808-x_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1593704070
@@ Property / OpenAlex ID: W1593704070 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5096820