eCite Digital Repository

Resoning by term rewriting

Citation

Bulmer, M, Resoning by term rewriting (1996) [PhD]

Item Details

Item Type:PhD
Research Division:Mathematical Sciences
Research Group:Mathematical physics
Research Field:Mathematical physics not elsewhere classified
Objective Division:Expanding Knowledge
Objective Group:Expanding knowledge
Objective Field:Expanding knowledge in the mathematical sciences
UTAS Author:Bulmer, M (Dr Bulmer)
ID Code:8763
Year Published:1996
Deposited By:Mathematics
Deposited On:1996-08-01
Last Modified:1997-02-01
Downloads:0

Repository Staff Only: item control page