#
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