BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Myers:Robert_S=_R=

Contributed to:

LICS 20152015
FoSSaCS 20142014
FOSSACS 20092009

Wrote 3 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.