Observational implementations (Q5096143): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A systematic study of models of abstract data types
+Normal rank
@@ Property / cites work @@
+On the algebraic definition of programming languages
+Normal rank
@@ Property / cites work @@
+Q3910579
@@ Property / cites work: Q3910579 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic implementation of abstract data types
@@ Property / cites work: Algebraic implementation of abstract data types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105777
@@ Property / cites work: Q4105777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956373
@@ Property / cites work: Q3956373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4872472
@@ Property / cites work: Q4872472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707384
@@ Property / cites work: Q3707384 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3938468
@@ Property / cites work: Q3938468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677153
@@ Property / cites work: Q3677153 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721633
@@ Property / cites work: Q4721633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3954805
@@ Property / cites work: Q3954805 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of calculii for axiomatically defined classes of algebras
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bfb0028973
+Normal rank
@@ Property / OpenAlex ID @@
+W2911426808
@@ Property / OpenAlex ID: W2911426808 / rank @@
+Normal rank