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

@@ Property / author @@
+Hartmut Ehrig
@@ Property / author: Hartmut Ehrig / rank @@
+Normal rank
@@ Property / author @@
+Hans-Joerg Kreowski
@@ Property / author: Hans-Joerg Kreowski / rank @@
+Normal rank
@@ Property / author @@
+Bernd Mahr
@@ Property / author: Bernd Mahr / rank @@
+Normal rank
@@ Property / author @@
+Peter Padawitz
@@ Property / author: Peter Padawitz / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(82)80001-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1983608286
@@ Property / OpenAlex ID: W1983608286 / rank @@
+Normal rank