Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Helmut Schwichtenberg
2 results
Program Development for Proof Transformations
by Helmut Schwichtenberg
October 12, 1994
Are There Long Reduction Sequences with Short Normal Forms?
by Helmut Schwichtenberg
September 29, 1992