Sérgio Roseiro Teles Marcelino
AuthID: R-000-GG8
21
TÃTULO: Global view on reactivity: switch graphs and their logics Full Text
AUTORES: Dov Gabbay; Sergio Marcelino;
PUBLICAÇÃO: 2012, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 66, NÚMERO: 1-4
AUTORES: Dov Gabbay; Sergio Marcelino;
PUBLICAÇÃO: 2012, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 66, NÚMERO: 1-4
22
TÃTULO: NON-FINITELY AXIOMATISABLE TWO-DIMENSIONAL MODAL LOGICS
AUTORES: Agi Kurucz; Sergio Marcelino;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 77, NÚMERO: 3
AUTORES: Agi Kurucz; Sergio Marcelino;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 77, NÚMERO: 3
INDEXADO EM: 
Scopus 
WOS
Scopus WOS23
TÃTULO: An algebraic generalization of Kripke structures
AUTORES: Sergio Marcelino; Pedro Resende ;
PUBLICAÇÃO: 2008, FONTE: MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, VOLUME: 145, NÚMERO: 3
AUTORES: Sergio Marcelino; Pedro Resende ;
PUBLICAÇÃO: 2008, FONTE: MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, VOLUME: 145, NÚMERO: 3
INDEXADO EM: Scopus WOS
Scopus WOS24
TÃTULO: An algebraic generalization of Kripke structures
AUTORES: SÉRGIO MARCELINO; PEDRO RESENDE;
PUBLICAÇÃO: 2008, FONTE: Math. Proc. Camb. Phil. Soc. - Mathematical Proceedings of the Cambridge Philosophical Society, VOLUME: 145, NÚMERO: 03
AUTORES: SÉRGIO MARCELINO; PEDRO RESENDE;
PUBLICAÇÃO: 2008, FONTE: Math. Proc. Camb. Phil. Soc. - Mathematical Proceedings of the Cambridge Philosophical Society, VOLUME: 145, NÚMERO: 03
INDEXADO EM: 
CrossRef
CrossRef