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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
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. (Full text available)
[img]
Preview
[img]
Preview

Martin, Jonathan.C. and King, Andy (2004) Control Generation by Program Transformation. Technical report. University of Kent, University of Kent, Canterbury, CT2 7NF (Full text available)
[img]
Preview
[img]
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 Fri Dec 13 09:35:49 2013 GMT.