Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

2004 2003

Number of items: 3.

2004

Martin, Jonathan.C. and King, Andy (2004) On the Inference of Natural Level Mappings. In: Program Development in Computational Logic.

Preview

Preview

Martin, Jonathan.C. and King, Andy (2004) Control Generation by Program Transformation. Technical report. University of Kent, University of Kent, Canterbury, CT2 7NF

Preview

Preview

2003

Martin, Jonathan.C. and King, Andy (2003) On Modular Termination Proofs. Technical report. University of Kent The full text of this publication is not available from this repository.

This list was generated on Wed May 22 07:11:19 2013 BST.