Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Andrew Stevens
2 results
20BJ as a Meta-logical Framework
by Andrew Stevens
April 21, 1990
Rational Reconstruction of Boyer and Moore Prover
by Andrew Stevens
December 01, 1987