An algebra for Kripke polynomial coalgebras

M.M. Bonsangue, J.J.M.M. Rutten, A. Silva

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. 24th Symposium on Logic in Computer Science - LICS'09
PublisherIEEE Computer Society Press
Pages49-58
Publication statusPublished - 2009
Event24th Symposium on Logic in Computer Science - LICS'09 -
Duration: 1 Jan 20091 Jan 2009

Conference

Conference24th Symposium on Logic in Computer Science - LICS'09
Period1/01/091/01/09

Cite this

Bonsangue, M. M., Rutten, J. J. M. M., & Silva, A. (2009). An algebra for Kripke polynomial coalgebras. In Proc. 24th Symposium on Logic in Computer Science - LICS'09 (pp. 49-58). IEEE Computer Society Press.
Bonsangue, M.M. ; Rutten, J.J.M.M. ; Silva, A. / An algebra for Kripke polynomial coalgebras. Proc. 24th Symposium on Logic in Computer Science - LICS'09. IEEE Computer Society Press, 2009. pp. 49-58
@inproceedings{00a681275953423794b3a780663f716a,
title = "An algebra for Kripke polynomial coalgebras",
author = "M.M. Bonsangue and J.J.M.M. Rutten and A. Silva",
year = "2009",
language = "English",
pages = "49--58",
booktitle = "Proc. 24th Symposium on Logic in Computer Science - LICS'09",
publisher = "IEEE Computer Society Press",

}

Bonsangue, MM, Rutten, JJMM & Silva, A 2009, An algebra for Kripke polynomial coalgebras. in Proc. 24th Symposium on Logic in Computer Science - LICS'09. IEEE Computer Society Press, pp. 49-58, 24th Symposium on Logic in Computer Science - LICS'09, 1/01/09.

An algebra for Kripke polynomial coalgebras. / Bonsangue, M.M.; Rutten, J.J.M.M.; Silva, A.

Proc. 24th Symposium on Logic in Computer Science - LICS'09. IEEE Computer Society Press, 2009. p. 49-58.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - An algebra for Kripke polynomial coalgebras

AU - Bonsangue, M.M.

AU - Rutten, J.J.M.M.

AU - Silva, A.

PY - 2009

Y1 - 2009

M3 - Conference contribution

SP - 49

EP - 58

BT - Proc. 24th Symposium on Logic in Computer Science - LICS'09

PB - IEEE Computer Society Press

ER -

Bonsangue MM, Rutten JJMM, Silva A. An algebra for Kripke polynomial coalgebras. In Proc. 24th Symposium on Logic in Computer Science - LICS'09. IEEE Computer Society Press. 2009. p. 49-58