Travelled to:1 × France
1 × Japan
1 × United Kingdom
Collaborated with:J.Adámek H.Urbat S.Milius D.Pattinson L.Schröder
Talks about:varieti (2) languag (2) eilenberg (1) coalgebra (1) categori (1) theorem (1) general (1) hybrid (1) logic (1) local (1)
Person: Robert S. R. Myers
DBLP: Myers:Robert_S=_R=
Contributed to:
2015
20142009Wrote 3 papers:
- LICS-2015-AdamekMUM
- Varieties of Languages in a Category (JA, RSRM, HU, SM), pp. 414–425.
- FoSSaCS-2014-AdamekMMU #theorem
- Generalized Eilenberg Theorem I: Local Varieties of Languages (JA, SM, RSRM, HU), pp. 366–380.
- FoSSaCS-2009-MyersPS #algebra #hybrid #logic
- Coalgebraic Hybrid Logic (RSRM, DP, LS), pp. 137–151.