Partial abstract types (Q1169290): Difference between revisions

@@ Property / author @@
-Manfred Broy
@@ Property / author: Manfred Broy / rank @@
-Normal rank
@@ Property / author @@
-Martin Wirsing
@@ Property / author: Martin Wirsing / rank @@
-Normal rank
@@ Property / author @@
+Manfred Broy
@@ Property / author: Manfred Broy / rank @@
+Normal rank
@@ Property / author @@
+Martin Wirsing
@@ Property / author: Martin Wirsing / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322163
@@ Property / cites work: Q3322163 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919053
@@ Property / cites work: Q3919053 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912001
@@ Property / cites work: Q3912001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208066
@@ Property / cites work: Q3208066 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformational semantics for concurrent programs
+Normal rank
@@ Property / cites work @@
+Q3662598
@@ Property / cites work: Q3662598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3871894
@@ Property / cites work: Q3871894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912057
@@ Property / cites work: Q3912057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3954806
@@ Property / cites work: Q3954806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657416
@@ Property / cites work: Q3657416 / rank @@
+Normal rank
@@ Property / cites work @@
+A systematic study of models of abstract data types
+Normal rank
@@ Property / cites work @@
+Q4164787
@@ Property / cites work: Q4164787 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3888509
@@ Property / cites work: Q3888509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906461
@@ Property / cites work: Q3906461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105777
@@ Property / cites work: Q4105777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3938462
@@ Property / cites work: Q3938462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3891743
@@ Property / cites work: Q3891743 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932287
@@ Property / cites work: Q3932287 / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q4198049
@@ Property / cites work: Q4198049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875327
@@ Property / cites work: Q3875327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4176939
@@ Property / cites work: Q4176939 / 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 @@
+On hierarchies of abstract data types
@@ Property / cites work: On hierarchies of abstract data types / rank @@
+Normal rank