Lawrence S. Moss
AuthID: R-00F-M5K
1
TÃTULO: A Complete Inference System for Probabilistic Infinite Trace Equivalence
AUTORES: Corina Cîrstea; Lawrence S Moss; Victoria Noquez; Todd Schmid; Alexandra Silva; Ana Sokolova;
PUBLICAÇÃO: 2025, FONTE: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, VOLUME: 326
AUTORES: Corina Cîrstea; Lawrence S Moss; Victoria Noquez; Todd Schmid; Alexandra Silva; Ana Sokolova;
PUBLICAÇÃO: 2025, FONTE: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, VOLUME: 326
INDEXADO EM: 
DBLP
DBLP2
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
Scopus WOS3
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
CrossRef4
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
CrossRef5
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
CrossRef6
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
WOS