Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Pavel Naumov
12 results
Simple Imperative Programming
by Pavel Naumov
February 26, 2002
Zeno
by Pavel Naumov
January 25, 2002
Importing Isabelle Formal Mathematics into NuPRL
by Pavel Naumov
March 08, 1999
iPRL: A General Approach to Interpreting Isabelle Results in NuPRL
by Pavel Naumov
September 08, 1998
Formalizing Reference Types in Nuprl
| cite »
by Pavel Naumov
1998
Presenting Semantics for a Fragment of the Java Programming Language in Nuprl Proof Development System
by Pavel Naumov
March 10, 1998
References in Type Theory
by Pavel Naumov
November 25, 1997
Reasoning about Java Classes in Nuprl (continued)
by Pavel Naumov
September 16, 1997
Reasoning about Java Classes in Nuprl
by Pavel Naumov
September 09, 1997
Turing Machine Basics
by Pavel Naumov
November 01, 1996
Formalizing Automata II: Decidable Properties
| cite »
by Robert L. Constable, Pavel Naumov
1996
Formalizing Automata Theory I: Finite Automata
| cite »
by Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan Uribe
1996