default search action
8th CMCS 2006: Vienna, Austria
- Neil Ghani, John Power:
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, CMCS 2006, Vienna, Austria, March 25-27, 2006. Electronic Notes in Theoretical Computer Science 164(1), Elsevier 2006 - Neil Ghani, John Power:
Preface. 1-2 - Corina Cîrstea:
Modularity in Coalgebra. 3-26 - Helle Hvid Hansen
, David Costa, Jan J. M. M. Rutten:
Synthesis of Mealy Machines Using Derivatives. 27-45 - Ichiro Hasuo
Generic Trace Theory. 47-65 - Daniela Cancila, Furio Honsell, Marina Lenisa:
Some Properties and Some Problems on Set Functors. 67-84 - Paul Blain Levy:
Infinitary Howe's Method. 85-104 - Lingyun Luo:
An Effective Coalgebraic Bisimulation Proof Method. 105-119 - Milad Niqui:
Coinductive Field of Exact Real Numbers and General Corecursion. 121-139 - Neil Ghani, Peter G. Hancock, Dirk Pattinson:
Continuous Functions on Final Coalgebras. 141-155 - Jirí Adámek, Stefan Milius, Jirí Velebil:
How Iterative are Iterative Algebras? 157-175 - Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki:
A Coalgebraic Representation of Reduction by Cone of Influence. 177-194
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: