Henson, M (1993) CSM-196 On the proof theory of program transformations. UNSPECIFIED. CSM-195, University of Essex, Colchester.
|
Text
csm-196.pdf Download (28MB) | Preview |
Item Type: | Monograph (UNSPECIFIED) |
---|---|
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
Divisions: | Faculty of Science and Health Faculty of Science and Health > Computer Science and Electronic Engineering, School of |
SWORD Depositor: | Elements |
Depositing User: | Elements |
Date Deposited: | 08 Jul 2015 14:26 |
Last Modified: | 15 Jan 2022 01:07 |
URI: | http://repository.essex.ac.uk/id/eprint/14275 |
Actions (login required)
![]() |
View Item |