1 | -- | 2 | Neil Ghani, John Power. Preface |
3 | -- | 26 | Corina Cîrstea. Modularity in Coalgebra |
27 | -- | 45 | Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten. Synthesis of Mealy Machines Using Derivatives |
47 | -- | 65 | Ichiro Hasuo, Bart Jacobs, Ana Sokolova. Generic Trace Theory |
67 | -- | 84 | Daniela Cancila, Furio Honsell, Marina Lenisa. Some Properties and Some Problems on Set Functors |
85 | -- | 104 | Paul Blain Levy. Infinitary Howe s Method |
105 | -- | 119 | Lingyun Luo. An Effective Coalgebraic Bisimulation Proof Method |
121 | -- | 139 | Milad Niqui. Coinductive Field of Exact Real Numbers and General Corecursion |
141 | -- | 155 | Neil Ghani, Peter Hancock, Dirk Pattinson. Continuous Functions on Final Coalgebras |
157 | -- | 175 | Jirí Adámek, Stefan Milius, Jiri Velebil. How Iterative are Iterative Algebras? |
177 | -- | 194 | Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki. A Coalgebraic Representation of Reduction by Cone of Influence |