Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
BasicParamodulation.pdf | 2002-12-11 10:42 | 388K | ||
BasicParamodulation.ps | 2002-12-11 10:41 | 383K | ||
BasicParamodulation...> | 2002-12-11 10:41 | 116K | ||
ConstrainedCompletio..> | 2002-12-11 10:41 | 350K | ||
ConstraintedCompleti..> | 2002-12-11 10:42 | 364K | ||
LynchBachmairGanzing..> | 2002-12-11 09:17 | 116K | ||
UnifChapter.pdf | 2002-12-11 10:42 | 662K | ||
groundcompletionJACM..> | 2002-12-11 10:42 | 908K | ||
p1-gallier.pdf | 2002-12-11 09:17 | 908K | ||
rta93_nov9_94.ps | 2002-12-11 09:17 | 364K | ||
semiunif.pdf | 2003-01-16 14:06 | 408K | ||
semiunif.ps | 2003-01-16 14:06 | 489K | ||
surprov.ps | 2002-12-11 09:17 | 901K | ||
vita.pdf | 2003-01-16 14:32 | 10K | ||