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

Group by: Item Type | Date | No Grouping

Number of items: 2.

Martin, Jon and King, Andy (1997) Typed Norms for Typed Logic Programs. In: Logic Program Synthesis and Transformation, Aug 28-30, 1996, Stockholm, Sweden, .

Preview

Preview

Martin, Jon and King, Andy (1997) Inferring Numeric Relationships for Logic Program Transformation. In: Pre-conference proceedings of Logic Program Synthesis and Transformation.

Preview

Preview

This list was generated on Tue May 21 16:32:47 2013 BST.