Christian Urban
发表
James Cheney,
Christian Urban,
J. Cheney,
2011
.
Christian Urban,
2010
.
Proceedings of the 19th International Conference on Rewriting Techniques and Applications (RTA 2008)
Christian Urban,
Bozhi Zhu,
2008
.
Christian Urban,
Andreas Abel,
2009,
Electron. Notes Theor. Comput. Sci..
Stefan Berghofer,
Christian Urban,
2008
.
Christian Urban,
Andrew M. Pitts,
Murdoch J. Gabbay,
2004
.
James Cheney,
Stefan Berghofer,
Christian Urban,
2008
.
Christian Urban,
Xingyuan Zhang,
Chunhan Wu,
2011,
ITP.