Robert S. R. Myers
发表
Robert S. R. Myers,
R. Myers,
2009,
FICS.
Jurriaan Rot,
Marcello M. Bonsangue,
Stefan Milius,
2013,
MFPS.
Jirí Adámek,
Stefan Milius,
Robert S. R. Myers,
2014,
CMCS.
Stefan Milius,
Robert S. R. Myers,
Henning Urbat,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Dirk Pattinson,
Robert S. R. Myers,
Lutz Schröder,
2009,
FoSSaCS.
Jirí Adámek,
Stefan Milius,
Robert S. R. Myers,
2015,
Theor. Comput. Sci..
Robert S. R. Myers,
Henning Urbat,
2013,
DCFS.
Jirí Adámek,
Stefan Milius,
Robert S. R. Myers,
2018,
TOCL.
Dirk Pattinson,
Robert S. R. Myers,
Lutz Schröder,
2009,
M4M.
Jirí Adámek,
Stefan Milius,
Robert S. R. Myers,
2014,
MFPS.
Stefan Milius,
Robert S. R. Myers,
Henning Urbat,
2021,
ArXiv.
Dirk Pattinson,
Robert S. R. Myers,
2010,
J. Appl. Log..