dblp.uni-trier.dewww.uni-trier.de

A. J. J. Dick Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
6EEA. 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
3EEA. 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)

Coauthor Index

1Jim Cunningham (R. James Cunningham) [1] [3]
2M. Elizabeth C. Hull [6]
3K. Jackson [6]
4Phil Watson [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)