Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/37970| Título: | A Kleene theorem for polynomial coalgebras |
| Autor(es): | Bonsangue, Marcello Rutten, Jan Silva, Alexandra |
| Data: | 2009 |
| Editora: | Springer |
| Revista: | Lecture Notes in Computer Science (LNCS) |
| Citação: | Bonsangue M., Rutten J., Silva A. (2009) A Kleene Theorem for Polynomial Coalgebras. In: de Alfaro L. (eds) Foundations of Software Science and Computational Structures. FoSSaCS 2009. Lecture Notes in Computer Science, vol 5504. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00596-1_10 |
| Resumo(s): | For polynomial functors G, we show how to generalize the classical notion of regular expression to G-coalgebras. We introduce a language of expressions for describing elements of the final G-coalgebra and, analogously to Kleene’s theorem, we show the correspondence between expressions and finite G-coalgebras. |
| Tipo: | Artigo em ata de conferência |
| URI: | https://hdl.handle.net/1822/37970 |
| ISBN: | 978-3-642-00595-4 |
| e-ISBN: | 978-3-642-00596-1 |
| DOI: | 10.1007/978-3-642-00596-1_10 |
| Versão da editora: | https://link.springer.com/chapter/10.1007/978-3-642-00596-1_10 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
