dblp.uni-trier.dewww.uni-trier.de

Timothy Stokes Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
6EEMarcel Jackson, Timothy Stokes: Identities in the Algebra of Partial Maps. IJAC 16(6): 1131-1160 (2006)
2003
5EEDesmond Fearnley-Sander, Timothy Stokes: Varieties of Equality Structures. IJAC 13(4): 463-480 (2003)
2000
4EEMichael Bulmer, Desmond Fearnley-Sander, Timothy Stokes: The Kinds of Truth of Geometry Theorems. Automated Deduction in Geometry 2000: 129-142
3EETimothy 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)

Coauthor Index

1Michael Bulmer [3] [4]
2Desmond Fearnley-Sander [2] [4] [5]
3Marcel Jackson [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)