Duncan Shand

According to our database, Duncan Shand authored at least 4 papers between 1995 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Invariants, Patterns and Weights for Ordering Terms.

Ursula Martin, Duncan Shand

J. Symb. Comput., 2000

1996

Some Group Theoretic Examples with Completion Theorem Provers.

Steve Linton, Duncan Shand

J. Autom. Reason., 1996

Algebra and Automated Deduction.

Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Proofs as graphs.

Duncan Shand, Simon Brock

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995