| |
| 2006 | ||
|---|---|---|
| 5 | EE | Andy King, Jonathan C. Martin: Control Generation by Program Transformation. Fundam. Inform. 69(1-2): 179-218 (2006) |
| 2004 | ||
| 4 | EE | Jonathan C. Martin, Andy King: On the Inference of Natural Level Mappings. Program Development in Computational Logic 2004: 432-452 |
| 1999 | ||
| 3 | EE | Jonathan C. Martin, Michael Leuschel: Sonic Partial Deduction. Ershov Memorial Conference 1999: 101-112 |
| 1997 | ||
| 2 | Jonathan C. Martin, Andy King: Generating Efficient, Terminating Logic Programs. TAPSOFT 1997: 273-284 | |
| 1996 | ||
| 1 | Jonathan C. Martin, Andy King, Paul Soper: Typed Norms for Typed Logic Programs. LOPSTR 1996: 224-238 | |
| 1 | Andy King | [1] [2] [4] [5] |
| 2 | Michael Leuschel | [3] |
| 3 | Paul Soper | [1] |