| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 5 |      | Andy King, Jonathan C. Martin: Control Generation by Program Transformation. Fundam. Inform. 69(1-2): 179-218 (2006) |
| 2004 | ||
| 4 | | Jonathan C. Martin, Andy King: On the Inference of Natural Level Mappings. Program Development in Computational Logic 2004: 432-452 |
| 1999 | ||
| 3 | | 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] |
Colors in the list of coauthors
Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page