Sérgio Roseiro Teles Marcelino
AuthID: R-000-GG8
11
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