Login / Signup
Roderick Moten
Publication Activity (10 Years)
Years Active: 1996-2002
Publications (10 Years): 0
</>
Publications
</>
Roderick Moten
A Method for Providing Program Interoperability for End-Users.
HCC
(2002)
Roderick Moten
Exploiting Parallelism in Interactive Theorem Provers.
TPHOLs
(1998)
Roderick Moten
Nuprl as a concurrent interactive theorem prover.
African Americans in Mathematics
(1996)