| |
| 2005 | ||
|---|---|---|
| 6 | EE | A. J. J. Dick, M. Elizabeth C. Hull, K. Jackson: Specifying process and measuring progress in terms of information state. Journal of Systems and Software 76(3): 311-322 (2005) |
| 1991 | ||
| 5 | A. J. J. Dick, Phil Watson: Order-Sorted Term Rewriting. Comput. J. 34(1): 16-19 (1991) | |
| 4 | A. J. J. Dick: An Introduction to Knuth-Bendix Completion. Comput. J. 34(1): 2-15 (1991) | |
| 1986 | ||
| 3 | A. J. J. Dick, Jim Cunningham: Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning. CADE 1986: 272-280 | |
| 1985 | ||
| 2 | A. J. J. Dick: ERIL - Equational Reasoning: an Interactive Laboratory. European Conference on Computer Algebra (2) 1985: 400-401 | |
| 1 | Jim Cunningham, A. J. J. Dick: Rewrite Systems on a Lattice of Types. Acta Inf. 22(2): 149-169 (1985) | |
| 1 | Jim Cunningham (R. James Cunningham) | [1] [3] |
| 2 | M. Elizabeth C. Hull | [6] |
| 3 | K. Jackson | [6] |
| 4 | Phil Watson | [5] |