Duncan Shand

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2000
Invariants, Patterns and Weights for Ordering Terms.
J. Symb. Comput., 2000

1996
Some Group Theoretic Examples with Completion Theorem Provers.
J. Autom. Reason., 1996

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

1995
Proofs as graphs.
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995


  Loading...