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