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

@@ Property / DOI @@
-.1016/j.tcs.2006.07.030
@@ Property / DOI: 10.1016/j.tcs.2006.07.030 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Eiffel
@@ Property / describes a project that uses: Eiffel / 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.1016/j.tcs.2006.07.030
+Normal rank
@@ Property / OpenAlex ID @@
+W2012716985
@@ Property / OpenAlex ID: W2012716985 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.TCS.2006.07.030
@@ Property / DOI: 10.1016/J.TCS.2006.07.030 / rank @@
+Normal rank