Jeffrey Burdges

发表

Gregory L. Cherlin, Jeffrey Burdges, 2009, J. Math. Log..

Christian Grothoff, Jeffrey Burdges, Florian Dold, 2016, PETS 2016.

Luca De Feo, Jeffrey Burdges, L. D. Feo, 2020, IACR Cryptol. ePrint Arch..

Gregory L. Cherlin, Jeffrey Burdges, G. Cherlin, 2008, J. Math. Log..

Christian Grothoff, Jeffrey Burdges, Florian Dold, 2016, SPACE.

Gregory L. Cherlin, Jeffrey Burdges, 2002, J. Symb. Log..

Christian Grothoff, Álvaro García-Recuero, Jeffrey Burdges, 2016, DPM/QASA@ESORICS.

Jeffrey Burdges, Handan Kilinç Alper, Jeffrey Burdges, 2020, IACR Cryptol. ePrint Arch..

Christian Grothoff, Neal H. Walfield, Jeffrey Burdges, 2016 .