G. Davie

发表

Willem L. Fouché, George Davie, W. Fouché, 2013, Mathematical Structures in Computer Science.

Paterson, Gray, D. Forsythe, 2022 .

Eric Allender, Iddo Tzameret, Samuel B. Hopkins, 2012, Chic. J. Theor. Comput. Sci..

Willem L. Fouché, George Davie, Safari Mukeru, 2014, Log. Methods Comput. Sci..