Algebraic implementation of abstract data types (Q1163361): Difference between revisions

@@ Property / cites work @@
+Data type specification
@@ Property / cites work: Data type specification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906461
@@ Property / cites work: Q3906461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667921
@@ Property / cites work: Q3667921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208066
@@ Property / cites work: Q3208066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3851610
@@ Property / cites work: Q3851610 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions and implementations of abstract data type specifications
+Normal rank
@@ Property / cites work @@
+Q3920619
@@ Property / cites work: Q3920619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3885176
@@ Property / cites work: Q3885176 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160385
@@ Property / cites work: Q4160385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3851591
@@ Property / cites work: Q3851591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907050
@@ Property / cites work: Q3907050 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875329
@@ Property / cites work: Q3875329 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4170255
@@ Property / cites work: Q4170255 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of algebraic implementations for abstract data types
+Normal rank
@@ Property / cites work @@
+The notions of consistency and predicate locks in a database system
+Normal rank
@@ Property / cites work @@
+Q3880309
@@ Property / cites work: Q3880309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3920616
@@ Property / cites work: Q3920616 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract data types and software validation
@@ Property / cites work: Abstract data types and software validation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965556
@@ Property / cites work: Q3965556 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883463
@@ Property / cites work: Q3883463 / rank @@
+Normal rank
@@ Property / cites work @@
+Final algebra semantics and data type extensions
@@ Property / cites work: Final algebra semantics and data type extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883462
@@ Property / cites work: Q3883462 / rank @@
+Normal rank
@@ Property / cites work @@
+Program development by stepwise refinement
@@ Property / cites work: Program development by stepwise refinement / rank @@
+Normal rank