Graham Emil Leigh
发表
Graham Emil Leigh,
2015,
J. Symb. Log..
Philip D. Welch,
Hannes Leitgeb,
Graham Emil Leigh,
2012,
The Review of Symbolic Logic.
Graham Emil Leigh,
Stefan Hetzl,
Bahareh Afshari,
2016,
CL&C.
Graham Emil Leigh,
Bahareh Afshari,
B. Afshari,
2013,
CSL.
Graham Emil Leigh,
Bahareh Afshari,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Graham Emil Leigh,
Stefan Hetzl,
Bahareh Afshari,
2015,
TLCA.
Gerhard Jäger,
Graham Emil Leigh,
Bahareh Afshari,
2019,
WoLLIC.
Graham Emil Leigh,
2013,
Ann. Pure Appl. Log..
Michael Rathjen,
Graham Emil Leigh,
2012,
J. Symb. Log..
Carlo Nicolai,
Graham Emil Leigh,
Carlo Nicolai,
2013,
The Review of Symbolic Logic.
Michael Rathjen,
Graham Emil Leigh,
M. Rathjen,
2010,
Arch. Math. Log..
Graham Emil Leigh,
Bahareh Afshari,
Guillermo Menéndez Turata,
2021,
TABLEAUX.
Graham Emil Leigh,
2010
.
Graham Emil Leigh,
Stefan Hetzl,
Bahareh Afshari,
2020,
Ann. Pure Appl. Log..
Graham Emil Leigh,
Stefan Hetzl,
Bahareh Afshari,
2020,
Ann. Pure Appl. Log..
Graham Emil Leigh,
S. Enqvist,
B. Afshari,
2022,
Logic Journal of the IGPL.
Graham Emil Leigh,
Stefan Hetzl,
B. Afshari,
2020
.
Graham Emil Leigh,
A. Ciabattoni,
A. Visser,
2015,
The Bulletin of Symbolic Logic.
Graham Emil Leigh,
Leon Horsten,
Graham E. Leigh,
2016
.
Graham Emil Leigh,
Guillermo Menéndez Turata,
B. Afshari,
2023,
CSL.
Graham Emil Leigh,
Bahareh Afshari,
Graham E. Leigh,
2013
.
Graham Emil Leigh,
2016
.