Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/43898
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Adámek, Jiří | - |
dc.contributor.author | Milius, Stefan | - |
dc.contributor.author | Moss, Lawrence S. | - |
dc.contributor.author | Sousa, Lurdes | - |
dc.date.accessioned | 2017-10-13T08:44:51Z | - |
dc.date.available | 2017-10-13T08:44:51Z | - |
dc.date.issued | 2013-08-09 | - |
dc.identifier.uri | https://hdl.handle.net/10316/43898 | - |
dc.description.abstract | For endofunctors of varieties preserving intersections, a new description of the final coalgebra and the initial algebra is presented: the former consists of all well-pointed coalgebras. These are the pointed coalgebras having no proper subobject and no proper quotient. The initial algebra consists of all well-pointed coalgebras that are well-founded in the sense of Osius and Taylor. And initial algebras are precisely the final well-founded coalgebras. Finally, the initial iterative algebra consists of all finite well-pointed coalgebras. Numerous examples are discussed e.g. automata, graphs, and labeled transition systems. | por |
dc.language.iso | eng | por |
dc.publisher | Logical Methods in Computer Science e. V. | por |
dc.relation | PEst-C/MAT/UI0324/2011 | por |
dc.rights | openAccess | por |
dc.title | Well-Pointed Coalgebras | por |
dc.type | article | - |
degois.publication.firstPage | 1 | por |
degois.publication.lastPage | 51 | por |
degois.publication.issue | 3 | por |
degois.publication.title | Logical Methods in Computer Science | por |
dc.relation.publisherversion | https://arxiv.org/pdf/1305.0576.pdf | por |
dc.peerreviewed | yes | por |
dc.identifier.doi | 10.2168/LMCS-9(3:2)2013 | por |
dc.identifier.doi | 10.2168/LMCS-9(3:2)2013 | - |
degois.publication.volume | 9 | por |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | article | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | open | - |
item.fulltext | Com Texto completo | - |
item.languageiso639-1 | en | - |
crisitem.author.orcid | 0000-0003-0100-1673 | - |
Appears in Collections: | I&D CMUC - Artigos em Revistas Internacionais |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
wellpointed.pdf | 308.48 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
19
checked on Apr 15, 2024
WEB OF SCIENCETM
Citations
5
15
checked on Apr 2, 2024
Page view(s) 20
708
checked on Apr 16, 2024
Download(s)
130
checked on Apr 16, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.