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 |
UTAS 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