J. Adamek
AuthID: R-006-ETN
11
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
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
WOS12
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
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
Scopus13
TITLE: A LOGIC OF INJECTIVITY, JOURNAL OF HOMOTOPY AND RELATED STRUCTURES (vol 2, pg 13, 2007)
AUTHORS: Adamek, J; Hebert, M; Sousa, L;
PUBLISHED: 2010, SOURCE: JOURNAL OF HOMOTOPY AND RELATED STRUCTURES, VOLUME: 5, ISSUE: 1
AUTHORS: Adamek, J; Hebert, M; Sousa, L;
PUBLISHED: 2010, SOURCE: JOURNAL OF HOMOTOPY AND RELATED STRUCTURES, VOLUME: 5, ISSUE: 1
INDEXED IN: WOS
WOS14
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
AUTHORS: Jiri Adamek; Manuela Sobral ; Lurdes Sousa ;
PUBLISHED: 2009, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 61, ISSUE: 3-4
INDEXED IN: Scopus WOS
Scopus WOS15
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
AUTHORS: Jiri Adamek; Michel Herbert; Lurdes Sousa ;
PUBLISHED: 2009, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 17, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS16
TITLE: A logic of implications in algebra and coalgebra Full Text
AUTHORS: Jiří Adámek; Manuela Sobral; Lurdes Sousa;
PUBLISHED: 2009, SOURCE: Algebra universalis - Algebra Univers., VOLUME: 61, ISSUE: 3-4
AUTHORS: Jiří Adámek; Manuela Sobral; Lurdes Sousa;
PUBLISHED: 2009, SOURCE: Algebra universalis - Algebra Univers., VOLUME: 61, ISSUE: 3-4
INDEXED IN: 
CrossRef
CrossRef17
TITLE: The Orthogonal Subcategory Problem and the Small Object Argument Full Text
AUTHORS: Jiří Adámek; Michel Hébert; Lurdes Sousa;
PUBLISHED: 2008, SOURCE: Appl Categor Struct - Applied Categorical Structures, VOLUME: 17, ISSUE: 3
AUTHORS: Jiří Adámek; Michel Hébert; Lurdes Sousa;
PUBLISHED: 2008, SOURCE: Appl Categor Struct - Applied Categorical Structures, VOLUME: 17, ISSUE: 3
INDEXED IN: CrossRef
CrossRef18
TITLE: A LOGIC OF INJECTIVITY
AUTHORS: Adamek, J; Hebert, M; Sousa, L;
PUBLISHED: 2007, SOURCE: JOURNAL OF HOMOTOPY AND RELATED STRUCTURES, VOLUME: 2, ISSUE: 2
AUTHORS: Adamek, J; Hebert, M; Sousa, L;
PUBLISHED: 2007, SOURCE: JOURNAL OF HOMOTOPY AND RELATED STRUCTURES, VOLUME: 2, ISSUE: 2
INDEXED IN: WOS
WOS19
TITLE: Morita equivalence of many-sorted algebraic theories Full Text
AUTHORS: Adamek, J; Sobral, M ; Sousa, L ;
PUBLISHED: 2006, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 297, ISSUE: 2
AUTHORS: Adamek, J; Sobral, M ; Sousa, L ;
PUBLISHED: 2006, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 297, ISSUE: 2
INDEXED IN: Scopus WOS
Scopus WOS20
TITLE: A logic of orthogonality
AUTHORS: Adamek, J; Hebert, M; Sousa, L ;
PUBLISHED: 2006, SOURCE: Archivum Mathematicum, VOLUME: 42, ISSUE: 4
AUTHORS: Adamek, J; Hebert, M; Sousa, L ;
PUBLISHED: 2006, SOURCE: Archivum Mathematicum, VOLUME: 42, ISSUE: 4
INDEXED IN: Scopus
Scopus