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: Joseph L. Bates

3 results

Publication Proofs as Programs | cite »
by Joseph L. Bates, Robert L. Constable

Publication Writing Programs That Construct Proofs | cite »
by Robert L. Constable, Todd B. Knoblock, Joseph L. Bates

Publication A Logic for Correct Program Development | cite »
by Joseph L. Bates