Lawrence S. Moss
AuthID: R-00F-M5K
1
TÃTULO: On Final Coalgebras of Power-Set Functors and Saturated Trees Full Text
AUTORES: Jiri Adamek; Paul B Levy; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLICAÇÃO: 2015, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 23, NÚMERO: 4
AUTORES: Jiri Adamek; Paul B Levy; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLICAÇÃO: 2015, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 23, NÚMERO: 4
INDEXADO EM:
Scopus
WOS


2
TÃTULO: On Final Coalgebras of Power-Set Functors and Saturated Trees. To George Janelidze on the Occasion of His Sixtieth Birthday Full Text
AUTORES: Jiří Adámek; Paul B Levy; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLICAÇÃO: 2014, FONTE: Appl Categor Struct - Applied Categorical Structures, VOLUME: 23, NÚMERO: 4
AUTORES: Jiří Adámek; Paul B Levy; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLICAÇÃO: 2014, FONTE: Appl Categor Struct - Applied Categorical Structures, VOLUME: 23, NÚMERO: 4
INDEXADO EM:
CrossRef

3
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
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

4
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
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

5
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
