Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva. An Algebra for Kripke Polynomial Coalgebras. In Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA. pages 49-58, IEEE Computer Society, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.