Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Roderick Moten

4 results

Publication Concurrent Refinement in Nuprl | cite »
by Roderick Moten

Seminar Design of the Nuprl Refiner
by Roderick Moten
September 26, 1995

Seminar The Refiner as the Inference Mechanism of Nuprl Proof Development System
by Roderick Moten
April 04, 1995

Seminar Tactic Trees in eXene
by Roderick Moten
September 22, 1992