Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/37970
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Bonsangue, Marcello | por |
dc.contributor.author | Rutten, Jan | por |
dc.contributor.author | Silva, Alexandra | por |
dc.date.accessioned | 2015-11-04T15:20:12Z | - |
dc.date.available | 2015-11-04T15:20:12Z | - |
dc.date.issued | 2009 | - |
dc.identifier.citation | 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 | - |
dc.identifier.isbn | 978-3-642-00595-4 | - |
dc.identifier.uri | https://hdl.handle.net/1822/37970 | - |
dc.description.abstract | 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. | por |
dc.language.iso | eng | por |
dc.publisher | Springer | por |
dc.relation | info:eu-repo/grantAgreement/FCT/SFRH/SFRH%2FBD%2F27482%2F2006/PT | - |
dc.rights | openAccess | por |
dc.title | A Kleene theorem for polynomial coalgebras | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/978-3-642-00596-1_10 | - |
dc.comments | 1739 | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 122 | por |
oaire.citationEndPage | 136 | por |
oaire.citationTitle | Foundations of Software Science and Computational Structures | por |
oaire.citationVolume | 5504 | por |
dc.publisher.uri | Springer | por |
dc.identifier.doi | 10.1007/978-3-642-00596-1_10 | - |
dc.identifier.eisbn | 978-3-642-00596-1 | - |
sdum.journal | Lecture Notes in Computer Science (LNCS) | - |
sdum.conferencePublication | Foundations of Software Science and Computational Structures | por |
dc.subject.arxiv | Mathematics::Category Theory | - |
dc.subject.arxiv | Mathematics::Rings and Algebras | - |
dc.subject.arxiv | Mathematics::K-Theory and Homology | - |
dc.subject.arxiv | Mathematics::Quantum Algebra | - |
dc.subject.arxiv | Computer Science::Logic in Computer Science | - |
Aparece nas coleções: |