My ADT Shrine (Q2890319): Difference between revisions

@@ Property / author @@
-Hans-Dieter Ehrich
@@ Property / author: Hans-Dieter Ehrich / rank @@
-Normal rank
@@ Property / author @@
+Hans-Dieter Ehrich
@@ Property / author: Hans-Dieter Ehrich / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2890319