scientific article; zbMATH DE number 5033840
From MaRDI portal
Publication:5472879
zbMath1098.68028MaRDI QIDQ5472879
Publication date: 19 June 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Distributivity of categories of coalgebras ⋮ Bisimulations Generated from Corecursive Equations ⋮ Aspects preserving properties ⋮ Coalgebras in functional programming and type theory ⋮ When is a function a fold or an unfold? ⋮ Proof Relevant Corecursive Resolution ⋮ Interactive verification of architectural design patterns in FACTum ⋮ The generic approximation lemma
This page was built for publication:
