| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 6 |      | A. J. J. Dick, M. Elizabeth C. Hull, Ken 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 | Ken Jackson | [6] |
| 4 | Phil Watson | [5] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page