Joseph L. Bates

Publication Activity (10 Years)

Years Active: 1985-1985
Publications (10 Years): 0

Publications

Joseph L. Bates, Robert L. Constable
Proofs as Programs. ACM Trans. Program. Lang. Syst. 7 (1) (1985)
Robert L. Constable, Todd B. Knoblock, Joseph L. Bates
Writing Programs that Construct Proofs. J. Autom. Reason. 1 (3) (1985)