J. Adamek
AuthID: R-006-ETN
11
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
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
Scopus12
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
WOS13
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
Scopus14
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
WOS15
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 WOS16
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 WOS17
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
CrossRef18
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
CrossRef19
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
WOS20
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 WOS