Bisimulation and Hidden Algebra (Q4256320): Difference between revisions

@@ Property / cites work @@
+Q3839054
@@ Property / cites work: Q3839054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+A hidden agenda
@@ Property / cites work: A hidden agenda / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217944
@@ Property / cites work: Q4217944 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Q3687683
@@ Property / cites work: Q3687683 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to object semantics based on terminal co-algebras
+Normal rank