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.

[img]
Preview
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 > 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
URI: http://repository.essex.ac.uk/id/eprint/14275

Actions (login required)

View Item View Item