Maria de Lurdes da Costa e Sousa


AuthID: R-000-B3Y

Confirmed Publications: 29



11
TITLE: Well-Pointed Coalgebras  Full Text
AUTHORS: Jiří Adámek; Stefan Milius; Lawrence Moss; Lurdes Sousa ;
PUBLISHED: 2013, SOURCE: Logical Methods in Computer Science - Log.Meth.Comput.Sci., VOLUME: 9, ISSUE: 3
INDEXED IN: CrossRef
IN MY: ORCID
12
TITLE: WELL-POINTED COALGEBRAS
AUTHORS: Jiri Adamek; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLISHED: 2013, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 9, ISSUE: 3
INDEXED IN: Scopus WOS
13
TITLE: Well-Pointed Coalgebras
AUTHORS: Jiri Adamek; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, VOLUME: 7213
INDEXED IN: WOS
14
TITLE: Well-Pointed Coalgebras (Extended Abstract)
AUTHORS: Jiří Adámek; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLISHED: 2012, SOURCE: Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
15
TITLE: Well-pointed coalgebras (extended abstract)
AUTHORS: Adamek, J; Milius, S; Moss, LS; Sousa, L ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7213 LNCS
INDEXED IN: Scopus
16
TITLE: Order-preserving reflectors and injectivity  Full Text
AUTHORS: Margarida Carvalho; Lurdes Sousa ;
PUBLISHED: 2011, SOURCE: TOPOLOGY AND ITS APPLICATIONS, VOLUME: 158, ISSUE: 17
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
17
TITLE: Power-set functors and saturated trees
AUTHORS: Adamek, J; Milius, S; Moss, LS; Sousa, L ;
PUBLISHED: 2011, SOURCE: 25th International Workshop on Computer Science Logic, CSL 2011/20th Annual Conference of the European Association for Computer Science Logic, EACSL in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 12
INDEXED IN: Scopus
18
TITLE: A logic of implications in algebra and coalgebra  Full Text
AUTHORS: Jiri Adamek; Manuela Sobral ; Lurdes Sousa ;
PUBLISHED: 2009, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 61, ISSUE: 3-4
INDEXED IN: Scopus WOS
19
TITLE: The Orthogonal Subcategory Problem and the Small Object Argument  Full Text
AUTHORS: Jiri Adamek; Michel Herbert; Lurdes Sousa ;
PUBLISHED: 2009, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 17, ISSUE: 3
INDEXED IN: Scopus WOS
20
TITLE: Protolocalisations of homological categories  Full Text
AUTHORS: Francis Borceux; Maria Manuel Clementino ; Marino Gran; Lurdes Sousa ;
PUBLISHED: 2008, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 212, ISSUE: 8
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
Page 2 of 3. Total results: 29.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service