A. J. J. Dick

According to our database1, A. J. J. Dick
  • authored at least 6 papers between 1985 and 2005.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2005
Specifying process and measuring progress in terms of information state.
Journal of Systems and Software, 2005

1991
Order-Sorted Term Rewriting.
Comput. J., 1991

An Introduction to Knuth-Bendix Completion.
Comput. J., 1991

1986
Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985
Rewrite Systems on a Lattice of Types.
Acta Inf., 1985

ERIL - Equational Reasoning: an Interactive Laboratory.
Proceedings of the EUROCAL '85, 1985


  Loading...