My ADT Shrine (Q2890319): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-28412-0_2
+Normal rank
@@ Property / OpenAlex ID @@
+W1466923229
@@ Property / OpenAlex ID: W1466923229 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+A systematic study of models of abstract data types
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790386
@@ Property / cites work: Q4790386 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
+Normal rank
@@ Property / cites work @@
+Q3707382
@@ Property / cites work: Q3707382 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4725723
@@ Property / cites work: Q4725723 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic domain equations
@@ Property / cites work: Algebraic domain equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3468602
@@ Property / cites work: Q3468602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906461
@@ Property / cites work: Q3906461 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and operational semantics of specifications allowing exceptions and errors
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q2785427
@@ Property / cites work: Q2785427 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank