## Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva

*An Algebra for Kripke Polynomial Coalgebras*

LICS, 2009.

@inproceedings{LICS-2009-BonsangueRS,
author = "Marcello M. Bonsangue and Jan J. M. M. Rutten and Alexandra Silva",
booktitle = "{Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2009.18",
isbn = "978-0-7695-3746-7",
pages = "49--58",
publisher = "{IEEE Computer Society}",
title = "{An Algebra for Kripke Polynomial Coalgebras}",
year = 2009,
}

### Tags: