Sérgio Roseiro Teles Marcelino
AuthID: R-000-GG8
11
TITLE: An algebraic generalization of Kripke structures
AUTHORS: SÉRGIO MARCELINO; PEDRO RESENDE;
PUBLISHED: 2008, SOURCE: Math. Proc. Camb. Phil. Soc. - Mathematical Proceedings of the Cambridge Philosophical Society, VOLUME: 145, ISSUE: 03
AUTHORS: SÉRGIO MARCELINO; PEDRO RESENDE;
PUBLISHED: 2008, SOURCE: Math. Proc. Camb. Phil. Soc. - Mathematical Proceedings of the Cambridge Philosophical Society, VOLUME: 145, ISSUE: 03
INDEXED IN: 
CrossRef
CrossRef