A. J. J. Dick

Publication Activity (10 Years)

Years Active: 1985-2005
Publications (10 Years): 0

Publications

A. J. J. Dick, M. Elizabeth C. Hull, Ken Jackson
Specifying process and measuring progress in terms of information state. J. Syst. Softw. 76 (3) (2005)
A. J. J. Dick
An Introduction to Knuth-Bendix Completion. Comput. J. 34 (1) (1991)
A. J. J. Dick, Phil Watson
Order-Sorted Term Rewriting. Comput. J. 34 (1) (1991)
A. J. J. Dick, Paul J. Krause, J. Cozens
Computer Aided Transformation of Z into Prolog. Z User Workshop (1989)
A. J. J. Dick, Jim Cunningham
Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning. CADE (1986)
Jim Cunningham, A. J. J. Dick
Rewrite Systems on a Lattice of Types. Acta Informatica 22 (2) (1985)
A. J. J. Dick
ERIL - Equational Reasoning: an Interactive Laboratory. European Conference on Computer Algebra (2) (1985)