Timothy Stokes (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Desmond Fearnley-Sander, Timothy Stokes: Varieties of Equality Structures. IJAC 13(4): 463-480 (2003)

4 Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes: The Kinds of Truth of Geometry Theorems. Automated Deduction in Geometry 2000: 129-142

2 Desmond Fearnley-Sander, Timothy Stokes: Area in Grassmann Geometry. Automated Deduction in Geometry 1996: 141-170

Selection of 3 from 6 records - Timothy Stokes has 3 coauthors

5		Desmond Fearnley-Sander, Timothy Stokes: Varieties of Equality Structures. IJAC 13(4): 463-480 (2003)
4		Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes: The Kinds of Truth of Geometry Theorems. Automated Deduction in Geometry 2000: 129-142
2		Desmond Fearnley-Sander, Timothy Stokes: Area in Grassmann Geometry. Automated Deduction in Geometry 1996: 141-170