![]() | ![]() |
2006 | ||
---|---|---|
6 | EE | Marcel Jackson, Timothy Stokes: Identities in the Algebra of Partial Maps. IJAC 16(6): 1131-1160 (2006) |
2003 | ||
5 | EE | Desmond Fearnley-Sander, Timothy Stokes: Varieties of Equality Structures. IJAC 13(4): 463-480 (2003) |
2000 | ||
4 | EE | Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes: The Kinds of Truth of Geometry Theorems. Automated Deduction in Geometry 2000: 129-142 |
3 | EE | Timothy Stokes, Michael Bulmer: A Complex Change of Variables for Geometrical Reasoning. Automated Deduction in Geometry 2000: 143-153 |
1996 | ||
2 | Desmond Fearnley-Sander, Timothy Stokes: Area in Grassmann Geometry. Automated Deduction in Geometry 1996: 141-170 | |
1990 | ||
1 | Timothy Stokes: Gröbner Bases in Exterior Algebra. J. Autom. Reasoning 6(3): 233-250 (1990) |
1 | Michael Bulmer | [3] [4] |
2 | Desmond Fearnley-Sander | [2] [4] [5] |
3 | Marcel Jackson | [6] |