James Hales
发表
James Hales,
2016
.
James Hales,
J. Hales,
2014
.
Tim French,
Hans van Ditmarsch,
James Hales,
2018,
Stud Logica.
Jf Merkel,
James Hales,
2014
.
Tim French,
Rowan Davies,
James Hales,
2012,
Advances in Modal Logic.
James Hales,
James Hales,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Tim French,
Rowan Davies,
James Hales,
2011,
M4M/LAMAS.
Tim French,
James Hales,
Edwin Tay,
2014,
Advances in Modal Logic.
Sophie Pinchinat,
Tim French,
Laura Bozzelli,
2012,
Inf. Comput..
James Hales,
2014
.