Stefan Milius
AuthID: R-00H-3QZ
1
TÃTULO: ON FINITARY FUNCTORS Full Text
AUTORES: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLICAÇÃO: 2019, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
AUTORES: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLICAÇÃO: 2019, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
INDEXADO EM:
WOS
2
TÃTULO: FINITELY PRESENTABLE ALGEBRAS FOR FINITARY MONADS Full Text
AUTORES: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLICAÇÃO: 2019, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
AUTORES: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLICAÇÃO: 2019, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
INDEXADO EM:
WOS
3
TÃTULO: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
AUTORES: Reiko Heckel; Stefan Milius;
PUBLICAÇÃO: 2013, FONTE: CALCO, VOLUME: 8089
AUTORES: Reiko Heckel; Stefan Milius;
PUBLICAÇÃO: 2013, FONTE: CALCO, VOLUME: 8089
INDEXADO EM:
DBLP
4
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