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: Pavel Naumov

12 results


Math Book Simple Imperative Programming
by Pavel Naumov
February 26, 2002

Math Book Zeno
by Pavel Naumov
January 25, 2002

Seminar Importing Isabelle Formal Mathematics into NuPRL
by Pavel Naumov
March 08, 1999

Seminar iPRL: A General Approach to Interpreting Isabelle Results in NuPRL
by Pavel Naumov
September 08, 1998

Publication Formalizing Reference Types in Nuprl | cite »
by Pavel Naumov
1998

Seminar Presenting Semantics for a Fragment of the Java Programming Language in Nuprl Proof Development System
by Pavel Naumov
March 10, 1998

Seminar References in Type Theory
by Pavel Naumov
November 25, 1997

Seminar Reasoning about Java Classes in Nuprl (continued)
by Pavel Naumov
September 16, 1997

Seminar Reasoning about Java Classes in Nuprl
by Pavel Naumov
September 09, 1997

Math Book Turing Machine Basics
by Pavel Naumov
November 01, 1996

Publication Formalizing Automata II: Decidable Properties | cite »
by Robert L. Constable, Pavel Naumov
1996

Publication Formalizing Automata Theory I: Finite Automata | cite »
by Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan Uribe
1996