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