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
INDEXED IN: CrossRef
Page 2 of 2. Total results: 11.