Sérgio Roseiro Teles Marcelino
AuthID: R-000-GG8
21
TÃTULO: Decidability and complexity of fibred logics without shared connectives
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2016, FONTE: Logic Journal of the IGPL, VOLUME: 24, NÚMERO: 5
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2016, FONTE: Logic Journal of the IGPL, VOLUME: 24, NÚMERO: 5
INDEXADO EM: 
DBLP
DBLP22
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
23
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 WOS24
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 WOS25
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