Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Roderick Moten
4 results
Concurrent Refinement in Nuprl
| cite »
by Roderick Moten
1997
Design of the Nuprl Refiner
by Roderick Moten
September 26, 1995
The Refiner as the Inference Mechanism of Nuprl Proof Development System
by Roderick Moten
April 04, 1995
Tactic Trees in eXene
by Roderick Moten
September 22, 1992