R. Arthan
发表
Paulo Oliva,
Rob Arthan,
Paulo Oliva,
2012,
Automated Reasoning and Mathematics.
Paulo Oliva,
R. Arthan,
2012,
1212.2887.
John Harrison,
Rob Arthan,
Robert Solovay,
2009,
Ann. Pure Appl. Log..
Magnus O. Myreen,
R. Arthan,
Scott Owens,
2016,
Journal of Automated Reasoning.
R. Arthan,
R D Arthan,
1992
.
R. Arthan,
2012
.
R. Arthan,
2004,
math/0405454.
R. Arthan,
2008
.
Robin Denis Arthan,
R. Arthan,
2016,
J. Formaliz. Reason..
R. Arthan,
2012
.
R. Arthan,
1983,
Mathematical Proceedings of the Cambridge Philosophical Society.
Tom Ridge,
Natarajan Shankar,
Frank Piessens,
2011,
FM.
R. Arthan,
S. Bullett,
1982
.
R. Arthan,
R. D. Arthan,
2008
.
Rob Arthan,
R. Arthan,
2001,
TPHOLs.
Paulo Oliva,
Rob Arthan,
Paulo Oliva,
2018,
ArXiv.
R. Arthan,
Paulo Oliva,
2021,
J. Log. Anal..
Paulo Oliva,
R. Arthan,
2020,
2012.09942.
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
pdf
Gudmund Grov,
Yuhui Lin,
Rob Arthan,
2016,
J. Formaliz. Reason..
Paulo Oliva,
Ursula Martin,
Rob Arthan,
2013,
Formal Aspects of Computing.
Rob Arthan,
R. Arthan,
2006,
2006 30th Annual IEEE/NASA Software Engineering Workshop.