A generic algebra for data collections based on constructive logic (Q5096406): Difference between revisions

@@ Property / cites work @@
+Algebraic optimization of object-oriented query languages
+Normal rank
@@ Property / cites work @@
+Q4036554
@@ Property / cites work: Q4036554 / rank @@
+Normal rank
@@ Property / cites work @@
+Type theory as a foundation for computer science
@@ Property / cites work: Type theory as a foundation for computer science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3328540
@@ Property / cites work: Q3328540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank