Research Output for G Wrightson
Note: The 2012, 2013, 2014, 2015 publications have not been audited.
G Wrightson may be from another institution or only recently joined Deakin University.
Coldwell, J. and Wrightson, G.* (1998) Analytic Tableaux and Model Elimination, The Australian Computer Journal, vol. 0, no. 0, pp. 1-11, The Australian Computer Society, Australia [C1]
ERA journal ID: Not matching ERA journal list
no DRO entry yet for this publication
No grants and/or consultancies found or audited – the 2014 HERDC financial return has not been completed or loaded as yet.
No completions found or audited.
- * Not a member of Deakin University at time of output.
DRO to publications collection last synchronised: Tuesday 26th May 2015 10:04pm