Roderick Moten

Design of the Nuprl Refiner
Roderick Moten, September 26, 1995
The Refiner as the Inference Mechanism of Nuprl Proof Development System
Roderick Moten, April 4, 1995
Tactic Trees in eXene
Roderick Moten, September 22, 1992


Home | Introduction |Authors | Topics | Chronological List | PRL Project


Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu