M. Randall Holmes
发表
M. Randall Holmes,
2003,
Stud Logica.
M. Randall Holmes,
M. Holmes,
1995,
TLCA.
M. Randall Holmes,
Thomas E. Forster,
Thierry Libert,
2012,
Sets and Extensions in the Twentieth Century.
M. Randall Holmes,
M. Randall Holmes,
2001,
Journal of Symbolic Logic.
M. Randall Holmes,
M. R. Holmes,
1991,
Ann. Pure Appl. Log..
M. Randall Holmes,
Jim Alves-Foss,
2004,
Journal of Automated Reasoning.
M. Randall Holmes,
2005,
Stud Logica.
M. Randall Holmes,
1993,
Ann. Pure Appl. Log..
M. Randall Holmes,
1995,
J. Symb. Log..
M. Randall Holmes,
M. R. Holmes,
1995,
International Conference on Rewriting Techniques and Applications.
M. Randall Holmes,
1999,
Notre Dame J. Formal Log..
M. Randall Holmes,
M. R. Holmes,
2012,
Notre Dame J. Formal Log..
M. Randall Holmes,
Zuhair Al-Johar,
2020,
ArXiv.
M. Randall Holmes,
2000,
TPHOLs.
M. Randall Holmes,
Nathan Bowler,
Zuhair Al-Johar,
2014,
Notre Dame J. Formal Log..
M. Randall Holmes,
2003,
Electron. Notes Theor. Comput. Sci..
M. Randall Holmes,
2019,
J. Philos. Log..
M. Randall Holmes,
2014,
Math. Log. Q..
M. Randall Holmes,
2004,
Stud Logica.