Journal: Electronic Notes in Theoretical Computer Science

Volume 164, Issue 1

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