Sérgio Marcelino

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Dov M. Gabbay, Sérgio Marcelino: Modal Logics of Reactive Frames. Studia Logica 93(2-3): 405-446 (2009)

2007

1 Sérgio Marcelino, Pedro Resende: An algebraic generalization of Kripke structures CoRR abs/0704.1886: (2007)

	2009
2		Dov M. Gabbay, Sérgio Marcelino: Modal Logics of Reactive Frames. Studia Logica 93(2-3): 405-446 (2009)
	2007
1		Sérgio Marcelino, Pedro Resende: An algebraic generalization of Kripke structures CoRR abs/0704.1886: (2007)

Coauthor Index

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page