|
Search the dblp DataBase
Duncan Shand:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand
Algebra and Automated Deduction. [Citation Graph (0, 0)][DBLP] CADE, 1996, pp:448-462 [Conf]
- Duncan Shand, Simon Brock
Proofs as graphs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
- Steve Linton, Duncan Shand
Some Group Theoretic Examples with Completion Theorem Provers. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1996, v:17, n:2, pp:145-169 [Journal]
- Ursula Martin, Duncan Shand
Invariants, Patterns and Weights for Ordering Terms. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2000, v:29, n:6, pp:921-957 [Journal]
Search in 0.001secs, Finished in 0.001secs
|