eCite Digital Repository

Inductive Theories from Equational Systems

Citation

Bulmer, M, Inductive Theories from Equational Systems, ISIS'96, Melbourne, pp. 260-268. (1996) [Refereed Conference Paper]

Item Details

Item Type:Refereed Conference Paper
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
Author:Bulmer, M (Dr Bulmer)
ID Code:8885
Year Published:1996
Deposited By:Mathematics
Deposited On:1996-08-01
Last Modified:1997-02-01
Downloads:0

Repository Staff Only: item control page