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