An Algebra for Kripke Polynomial Coalgebras - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marcello M. Bonsangue' in GoogleThis author has not been identified. Look up 'Jan J. M. M. Rutten' in GoogleThis author has not been identified. It may be one of the following persons:

Alexandra Silva

Look up 'Alexandra Silva' in Google

runs on WebDSL