Duncan Shand

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

Publications

Ursula Martin, Duncan Shand
Invariants, Patterns and Weights for Ordering Terms. J. Symb. Comput. 29 (6) (2000)
Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand
Algebra and Automated Deduction. CADE (1996)
Steve Linton, Duncan Shand
Some Group Theoretic Examples with Completion Theorem Provers. J. Autom. Reason. 17 (2) (1996)
Duncan Shand, Simon Brock
Proofs as graphs. Electron. Notes Theor. Comput. Sci. 2 (1995)