Index of /~dpierce/papers

 Name                     Last modified      Size  Description
 Parent Directory                              -   
 Dries/                   19-Sep-2003 13:14    -   
 Kac-Moody/               16-Jun-2004 08:10    -   
 Lie-rings/               19-Sep-2008 13:26    -   
 Luroth/                  24-Sep-2003 13:18    -   
 Macintyre/               19-Sep-2003 13:14    -   
 QE/                      16-Jun-2004 12:11    -   
 Recursion/               23-Sep-2008 12:50    -   
 Riemann-Roch/            30-Nov-2007 14:17    -   
 Vector-spaces/           30-Jan-2008 14:33    -   
 Witt_vectors/            09-Jun-2004 13:19    -   
 Wronskian/               25-Nov-2003 13:00    -   
 abbreviations.tex        10-Nov-2007 18:14   19K  
 ant/                     08-Jan-2001 13:55    -   
 article-theorems.tex     27-Sep-2005 14:51  2.2K  
 book-theorems.tex        18-Apr-2007 10:10  3.1K  
 cryptography/            30-Nov-2007 13:53    -   
 dcf_zero/                08-Jan-2001 13:08    -   
 differential/            21-Aug-2007 11:41    -   
 discrete/                28-Mar-2002 13:30    -   
 elliptic_curves/         21-Jun-2002 10:17    -   
 endomorphisms/           28-Mar-2002 13:32    -   
 format.tex               18-Apr-2007 10:10  1.3K  
 from_others/             09-Oct-2006 13:36    -   
 function_fields/         28-Feb-2008 11:08    -   
 gmc/                     25-Jan-2005 20:43    -   
 groups/                  09-Oct-2001 15:14    -   
 linear_algebra/          28-Mar-2002 13:33    -   
 logic/                   13-Aug-2002 15:03    -   
 model-theory/            26-Feb-2008 08:54    -   
 mult-gp-covers/          16-Jun-2004 09:00    -   
 numbers/                 16-Aug-2002 14:50    -   
 pfaffian/                09-Oct-2001 15:15    -   
 physics/                 08-Jan-2001 14:40    -   
 pocketref/               28-Mar-2002 13:37    -   
 references-old.bib       02-Nov-2007 14:51  107K  
 references.bib           16-Sep-2008 10:56  126K  
 report-theorems.tex      18-Apr-2007 10:10  2.2K  
 riemann/                 30-Nov-2007 14:03    -   
 sectionless-theorems.tex 09-Nov-2007 16:36  3.0K  
 spectra/                 16-Jun-2004 08:29    -   
 undecidable/             18-Feb-2008 13:41    -