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

Group by: Item Type | Date | No Grouping

Number of items: 2.

Conference or workshop item

Howe, J.M. and King, Andy and Lu, L. (2004) Analysing Logic Programs by Reasoning Backwards. In: Program Development in Computational Logic.

Preview

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

Preview

Preview

This list was generated on Mon May 20 15:31:50 2013 BST.