Robert S. R. Myers

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2010

3 Robert S. R. Myers, Dirk Pattinson: Hybrid logic with the difference modality for generalisations of graphs. J. Applied Logic 8(4): 441-458 (2010)

2009

2 Robert S. R. Myers, Dirk Pattinson, Lutz Schröder: Coalgebraic Hybrid Logic. FOSSACS 2009: 137-151

1 Georgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder: CoLoSS: The Coalgebraic Logic Satisfiability Solver. Electr. Notes Theor. Comput. Sci. 231: 41-54 (2009)

	2010
3		Robert S. R. Myers, Dirk Pattinson: Hybrid logic with the difference modality for generalisations of graphs. J. Applied Logic 8(4): 441-458 (2010)
	2009
2		Robert S. R. Myers, Dirk Pattinson, Lutz Schröder: Coalgebraic Hybrid Logic. FOSSACS 2009: 137-151
1		Georgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder: CoLoSS: The Coalgebraic Logic Satisfiability Solver. Electr. Notes Theor. Comput. Sci. 231: 41-54 (2009)

Coauthor Index

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —

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