Please use this identifier to cite or link to this item: https://hdl.handle.net/10316/43898
DC FieldValueLanguage
dc.contributor.authorAdámek, Jiří-
dc.contributor.authorMilius, Stefan-
dc.contributor.authorMoss, Lawrence S.-
dc.contributor.authorSousa, Lurdes-
dc.date.accessioned2017-10-13T08:44:51Z-
dc.date.available2017-10-13T08:44:51Z-
dc.date.issued2013-08-09-
dc.identifier.urihttps://hdl.handle.net/10316/43898-
dc.description.abstractFor 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.isoengpor
dc.publisherLogical Methods in Computer Science e. V.por
dc.relationPEst-C/MAT/UI0324/2011por
dc.rightsopenAccesspor
dc.titleWell-Pointed Coalgebraspor
dc.typearticle-
degois.publication.firstPage1por
degois.publication.lastPage51por
degois.publication.issue3por
degois.publication.titleLogical Methods in Computer Sciencepor
dc.relation.publisherversionhttps://arxiv.org/pdf/1305.0576.pdfpor
dc.peerreviewedyespor
dc.identifier.doi10.2168/LMCS-9(3:2)2013por
dc.identifier.doi10.2168/LMCS-9(3:2)2013-
degois.publication.volume9por
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypearticle-
item.cerifentitytypePublications-
item.grantfulltextopen-
item.fulltextCom Texto completo-
item.languageiso639-1en-
crisitem.author.orcid0000-0003-0100-1673-
Appears in Collections:I&D CMUC - Artigos em Revistas Internacionais
Files in This Item:
File Description SizeFormat
wellpointed.pdf308.48 kBAdobe PDFView/Open
Show simple item record

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.