Research Repository

CSM-196 On the proof theory of program transformations

Henson, M (1993) CSM-196 On the proof theory of program transformations. UNSPECIFIED. CSM-195, University of Essex, Colchester.


Download (28MB) | Preview
Item Type: Monograph (UNSPECIFIED)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Science and Health > Computer Science and Electronic Engineering, School of
Depositing User: Carla Watkins
Date Deposited: 08 Jul 2015 14:26
Last Modified: 17 Aug 2017 17:35

Actions (login required)

View Item View Item