Maria de Lurdes da Costa e Sousa


AuthID: R-000-B3Y

Publicações Confirmadas: 29



11
TÍTULO: Well-Pointed Coalgebras  Full Text
AUTORES: Jiří Adámek; Stefan Milius; Lawrence Moss; Lurdes Sousa ;
PUBLICAÇÃO: 2013, FONTE: Logical Methods in Computer Science - Log.Meth.Comput.Sci., VOLUME: 9, NÚMERO: 3
INDEXADO EM: CrossRef
NO MEU: ORCID
12
TÍTULO: WELL-POINTED COALGEBRAS
AUTORES: Jiri Adamek; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLICAÇÃO: 2013, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 9, NÚMERO: 3
INDEXADO EM: Scopus WOS
13
TÍTULO: Well-Pointed Coalgebras
AUTORES: Jiri Adamek; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, VOLUME: 7213
INDEXADO EM: WOS
14
TÍTULO: Well-Pointed Coalgebras (Extended Abstract)
AUTORES: Jiří Adámek; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLICAÇÃO: 2012, FONTE: Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
15
TÍTULO: Well-pointed coalgebras (extended abstract)
AUTORES: Adamek, J; Milius, S; Moss, LS; Sousa, L ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus
16
TÍTULO: Order-preserving reflectors and injectivity  Full Text
AUTORES: Margarida Carvalho; Lurdes Sousa ;
PUBLICAÇÃO: 2011, FONTE: TOPOLOGY AND ITS APPLICATIONS, VOLUME: 158, NÚMERO: 17
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
17
TÍTULO: Power-set functors and saturated trees
AUTORES: Adamek, J; Milius, S; Moss, LS; Sousa, L ;
PUBLICAÇÃO: 2011, FONTE: 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
INDEXADO EM: Scopus
18
TÍTULO: A logic of implications in algebra and coalgebra  Full Text
AUTORES: Jiri Adamek; Manuela Sobral ; Lurdes Sousa ;
PUBLICAÇÃO: 2009, FONTE: ALGEBRA UNIVERSALIS, VOLUME: 61, NÚMERO: 3-4
INDEXADO EM: Scopus WOS
19
TÍTULO: The Orthogonal Subcategory Problem and the Small Object Argument  Full Text
AUTORES: Jiri Adamek; Michel Herbert; Lurdes Sousa ;
PUBLICAÇÃO: 2009, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 17, NÚMERO: 3
INDEXADO EM: Scopus WOS
20
TÍTULO: Protolocalisations of homological categories  Full Text
AUTORES: Francis Borceux; Maria Manuel Clementino ; Marino Gran; Lurdes Sousa ;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 212, NÚMERO: 8
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID
Página 2 de 3. Total de resultados: 29.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service