Christian Urban
发表
Christian Urban,
2000
.
Christian Urban,
Xingyuan Zhang,
Chunhan Wu,
2011,
ITP.
R. Pollack,
Christian Urban,
2007
.
Christian Urban,
B. Huffman,
2010
.
Christian Urban,
C. Tasson,
2008
.
Christian Urban,
2014
.
Christian Urban,
Julien Narboux,
2009
.
James Cheney,
Christian Urban,
J. Cheney,
2011
.
Christian Urban,
James Cheney,
Stefan Berghofer,
2008
.
Christian Urban,
James Cheney,
J. Cheney,
2006,
TOPL.
Michael Norrish,
Christian Urban,
Stefan Berghofer,
2007,
CADE.
Cezary Kaliszyk,
Christian Urban,
C. Kaliszyk,
2004,
Lecture Notes in Computer Science.
Christian Urban,
Xingyuan Zhang,
Chunhan Wu,
2012,
Journal of Automated Reasoning.
Christian Urban,
Peter Chapman,
James McKinna,
2008,
AISC/MKM/Calculemus.
James Cheney,
Stefan Berghofer,
Christian Urban,
2008
.
Tobias Nipkow,
Christian Urban,
Stefan Berghofer,
2009,
TPHOLs.
Christian Urban,
Andrew M. Pitts,
Murdoch James Gabbay,
2004,
Theor. Comput. Sci..
Christian Urban,
Gavin M. Bierman,
G. Bierman,
1999,
Fundam. Informaticae.
Christian Urban,
Andrew M. Pitts,
Murdoch J. Gabbay,
2004
.
Xingyuan Zhang,
Christian Urban,
Chunhan Wu,
2014,
Journal of Automated Reasoning.
Xingyuan Zhang,
Christian Urban,
Chunhan Wu,
2011,
International Conference on Interactive Theorem Proving.
Christian Urban,
James Cheney,
J. Cheney,
2004,
ICLP.
Christian Urban,
James Cheney,
J. Cheney,
2011,
CPP.
Christian Urban,
Christine Tasson,
Christian Urban,
2005,
Journal of Automated Reasoning.
Christian Urban,
Christian Urban,
2010,
UNIF.
Christian Urban,
Laurence Tratt,
Martin Berger,
2016,
ECOOP.
L. Tratt,
Christian Urban,
Martin Berger,
2017
.
Christian Urban,
James Cheney,
J. Cheney,
2005,
TLCA.