Chronological Index:
1992-93
Spring Semester
| Defining Polynomials in Constructive Type Theory |
| Paul Jackson, Spring 1993 |
| No Title |
| Wilfred Chen, May 4, 1993 |
| Using Reflection to External Automated Theorem Provers |
| Mark Aagaard, March 30, 1993 |
| Editor Demonstration |
| Paul Jackson, March 9, 1993 |
Fall Semester
| Constructive Algorithms in Nuprl |
| Doug Howe, December 1, 1992 |
The Enigma of Sat Hill Climbing Procedures
| Ian Gent, November 10, 1992 | |
| Set Models |
| Doug Howe, November 3, 1992 |
Structuring Proofs
| Doug Howe and Paul Jackson, October 27, 1992 | |
Fefprl
| Doug Howe, October 20, 1992 | |
| Fefprl |
| Doug Howe, October 5, 1992 |
Are There Long Reduction Sequences with Short Normal Forms?
| Helmut Schwichtenberg, September 29, 1992 | |
| HOL Workshop |
| Mark Aagaard, September 15, 1992 |
|