A. J. J. Dick
Rutherford Appleton Laboratory(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Parallel Computing and Optimization Techniques, Semantic Web and Ontologies
Most-Cited Works
- → Computer Aided Transformation of Z into Prolog(1990)42 cited
- → Rewrite systems on a lattice of types(1985)21 cited
- → ERIL — Equational reasoning: an interactive laboratory(1985)17 cited
- → An Introduction to Knuth-Bendix Completion(1991)12 cited
- → Order-sorted Term Rewriting(1991)9 cited
- → Using narrowing to do isolation in symbolic equation solving — an experiment in automated reasoning(1986)2 cited