An algebra for Kripke polynomial coalgebras

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

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proc. 24th Symposium on Logic in Computer Science - LICS'09
Publisher	IEEE Computer Society Press
Pages	49-58
Publication status	Published - 2009
Event	24th Symposium on Logic in Computer Science - LICS'09 - Duration: 1 Jan 2009 → 1 Jan 2009

Conference	24th Symposium on Logic in Computer Science - LICS'09
Period	1/01/09 → 1/01/09

Persistent URL (handle)

@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",

note = "24th Symposium on Logic in Computer Science - LICS'09 ; Conference date: 01-01-2009 Through 01-01-2009",

}

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

UR - https://www.scopus.com/pages/publications/70350599806

UR - https://www.scopus.com/inward/citedby.url?scp=70350599806&partnerID=8YFLogxK

M3 - Conference contribution

SP - 49

EP - 58

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

PB - IEEE Computer Society Press

T2 - 24th Symposium on Logic in Computer Science - LICS'09

Y2 - 1 January 2009 through 1 January 2009

ER -