eCite Digital Repository

Author: Bulmer, M

Number of items: 7

Journal Article
Bulmer, M, Competing Species, Mathematica World, 3, (7) pp. 1-10. (1995) [Non Refereed Article] 
Bulmer, M, Feasible Regions, Mathematica World, 3, (10) pp. 1-15. (1995) [Non Refereed Article] 
Bulmer, M and Stokes, TE, Geometry Theorem Prover, Mathematica World, 3, (10) pp. 1-16. (1995) [Non Refereed Article] 
Bulmer, M, The Cost of Subsistence, Mathematica World, 2, (10) pp. 1-7. (1994) [Non Refereed Article] 
Conference Publication
Bulmer, M, Inductive Equational Reasoning, PRICAI'96, Cairns, pp. 13-22. (1996) [Refereed Conference Paper] 
Bulmer, M, Inductive Theories from Equational Systems, ISIS'96, Melbourne, pp. 260-268. (1996) [Refereed Conference Paper] 
Thesis
Bulmer, M, Resoning by term rewriting (1996) [PhD] 

This list was generated on Mon Dec 16 06:42:10 2019.