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
Jump to: Conference or workshop item
Number of items: 2.

Conference or workshop item

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

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

This list was generated on Sun May 19 09:30:33 2013 BST.
University of Kent | About this repository | Feedback | Latest additions