Software Development in Relation Algebra with Ampersand (Q5283210): Difference between revisions

@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Towards an algebraic specification of code generation
+Normal rank
@@ Property / cites work @@
+Computer Algebra in Scientific Computing
@@ Property / cites work: Computer Algebra in Scientific Computing / rank @@
+Normal rank
@@ Property / cites work @@
+A relational model of data for large shared data banks
+Normal rank
@@ Property / cites work @@
+Q3707340
@@ Property / cites work: Q3707340 / rank @@
+Normal rank
@@ Property / cites work @@
+Parsing and Printing of and with Triples
@@ Property / cites work: Parsing and Printing of and with Triples / rank @@
+Normal rank
@@ Property / cites work @@
+Type Checking by Domain Analysis in Ampersand
@@ Property / cites work: Type Checking by Domain Analysis in Ampersand / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Ampersand
@@ Property / cites work: Ampersand / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362876
@@ Property / cites work: Q4362876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992915
@@ Property / cites work: Q3992915 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Social Choice Using Relation Algebra and RelView
+Normal rank
@@ Property / cites work @@
+Relational Heterogeneity Relaxed by Subtyping
@@ Property / cites work: Relational Heterogeneity Relaxed by Subtyping / rank @@
+Normal rank