The data type of spatial objects (Q1941895): Difference between revisions

@@ Property / cites work @@
+Q5558293
@@ Property / cites work: Q5558293 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5522002
@@ Property / cites work: Q5522002 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
+Normal rank
@@ Property / cites work @@
+Algebraic specifications of computable and semicomputable data types
+Normal rank
@@ Property / cites work @@
+Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
+Normal rank
@@ Property / cites work @@
+Algebraic models of correctness for microprocessors
+Normal rank
@@ Property / cites work @@
+Algebraic models of correctness for abstract pipelines.
+Normal rank
@@ Property / cites work @@
+Q4200260
@@ Property / cites work: Q4200260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4073584
@@ Property / cites work: Q4073584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802205
@@ Property / cites work: Q5802205 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological methods for algebraic specification
@@ Property / cites work: Topological methods for algebraic specification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3878408
@@ Property / cites work: Q3878408 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3290875
@@ Property / cites work: Q3290875 / rank @@
+Normal rank
@@ Property / cites work @@
+Computation by `While' programs on topological partial algebras
+Normal rank
@@ Property / cites work @@
+A theory of computer instructions
@@ Property / cites work: A theory of computer instructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002149
@@ Property / cites work: Q4002149 / rank @@
+Normal rank