Specification of data restructuring software based on the attribute method (Q3216124): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Formal restructuring functions for hierarchical data bases
+Normal rank
@@ Property / cites work @@
+Q3886842
@@ Property / cites work: Q3886842 / rank @@
+Normal rank
@@ Property / cites work @@
+A practical example of the specification of abstract data types
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages
@@ Property / cites work: Semantics of context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Specification of a query language by the attribute method
+Normal rank
@@ Property / cites work @@
+A seven-tuple representation for hierarchical data structures
+Normal rank
@@ Property / cites work @@
+CONVERT
@@ Property / cites work: CONVERT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4092988
@@ Property / cites work: Q4092988 / rank @@
+Normal rank
@@ Property / cites work @@
+A straightforward formalization of the relational model
+Normal rank
@@ Property / cites work @@
+Formalization in program development
@@ Property / cites work: Formalization in program development / rank @@
+Normal rank