R. E. Møgelberg
发表
Rasmus Ejlers Møgelberg,
Ales Bizjak,
A. Bizjak,
2018,
Mathematical Structures in Computer Science.
A. Simpson,
R. E. Møgelberg,
R. E. Møgelberg,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Rasmus Ejlers Møgelberg,
Alex K. Simpson,
Alex K. Simpson,
2007,
MFPS.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
L. Birkedal,
2005,
Mathematical Structures in Computer Science.
Rasmus Ejlers Møgelberg,
Alex K. Simpson,
Jeff Egger,
2014,
J. Log. Comput..
Rasmus Ejlers Møgelberg,
Sam Staton,
S. Staton,
2014,
Log. Methods Comput. Sci..
Rasmus Ejlers Møgelberg,
Lars Birkedal,
L. Birkedal,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Rasmus Ejlers Møgelberg,
Alex K. Simpson,
Jeff Egger,
2012,
Log. Methods Comput. Sci..
Rasmus Ejlers Møgelberg,
Sam Staton,
S. Staton,
2011,
CALCO.
Rasmus Ejlers Møgelberg,
Alex K. Simpson,
Jeff Egger,
2010,
FoSSaCS.
Rasmus Ejlers Møgelberg,
Alex K. Simpson,
Jeff Egger,
2009,
CSL.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
Jan Schwinghammer,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
R. E. Møgelberg,
2002
.
Rasmus Ejlers Møgelberg,
P. Bahr,
R. E. Møgelberg,
2023,
Proc. ACM Program. Lang..
Hans Bugge Grathwohl,
L. Birkedal,
A. Bizjak,
2016,
FoSSaCS.