| |
| 2006 | ||
|---|---|---|
| 5 | EE | Richard Gault, Iain A. Stewart: An Infinite Hierarchy in a Class of Polynomial-Time Program Schemes. Theory Comput. Syst. 39(5): 753-783 (2006) |
| 2004 | ||
| 4 | EE | Richard Gault, Peter Jeavons: Implementing a Test for Tractability. Constraints 9(2): 139-160 (2004) |
| 2003 | ||
| 3 | EE | David A. Cohen, Peter Jeavons, Richard Gault: New Tractable Classes From Old. Constraints 8(3): 263-282 (2003) |
| 2001 | ||
| 2 | EE | Richard Gault, Iain A. Stewart: On a hierarchy involving transitive closure logic and existential second-order quantification. Logic Journal of the IGPL 9(6): (2001) |
| 2000 | ||
| 1 | EE | David A. Cohen, Peter Jeavons, Richard Gault: New Tractable Classes from Old. CP 2000: 160-171 |
| 1 | David A. Cohen | [1] [3] |
| 2 | Peter Jeavons (Peter G. Jeavons) | [1] [3] [4] |
| 3 | Iain A. Stewart | [2] [5] |