eCommons@Cornell: Browsing eCommons

Browsing by Author Bates, Joseph L.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 6 of 6

Issue Date	Title	Author(s)
Oct-1982	The Definition of $\mu$PRL	Bates, Joseph L.; Constable, Robert L.
Mar-1981	A Logic for Correct Program Development	Bates, Joseph L.
Jan-1983	The Nearly Ultimate Pearl	Constable, Robert L.; Bates, Joseph L.
Aug-1986	The PRL Mathematics Environment: A Knowledge Based Medium	Bates, Joseph L.
Feb-1982	Proofs as Programs	Bates, Joseph L.; Constable, Robert L.
Oct-1984	Writing Programs that Construct Proofs	Constable, Robert L.; Knoblock, Todd B.; Bates, Joseph L.

Showing results 1 to 6 of 6