Transposing partial components--an exercise on coalgebraic refinement (Q854163): Difference between revisions

@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Safety of abstract interpretations for free, via logical relations and Galois connections
+Normal rank
@@ Property / cites work @@
+Formal program development. IFIP TC2/WG 2.1 State-of-the-Art report
+Normal rank
@@ Property / cites work @@
+Q4762665
@@ Property / cites work: Q4762665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843719
@@ Property / cites work: Q2843719 / rank @@
+Normal rank
@@ Property / cites work @@
+Transposing partial components--an exercise on coalgebraic refinement
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3405587
@@ Property / cites work: Q3405587 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3157876
@@ Property / cites work: Q3157876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838013
@@ Property / cites work: Q3838013 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843725
@@ Property / cites work: Q2843725 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707340
@@ Property / cites work: Q3707340 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Components as coalgebras: the refinement dimension
+Normal rank
@@ Property / cites work @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank