eCite Digital Repository

A logic of definitional reasoning

Citation

Fearnley-Sander, DP, A logic of definitional reasoning, CATS'96, Melbourne, pp. 81-89. (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:Fearnley-Sander, DP (Mr Desmond Fearnley-Sander)
ID Code:8879
Year Published:1996
Deposited By:Mathematics
Deposited On:1996-08-01
Last Modified:1997-02-01
Downloads:0

Repository Staff Only: item control page