Joseph L. Bates

List of publications from the DBLP Bibliography Server - FAQ

1985

2 EE Joseph L. Bates, Robert L. Constable: Proofs as Programs. ACM Trans. Program. Lang. Syst. 7(1): 113-136 (1985)

1 Robert L. Constable, Todd B. Knoblock, Joseph L. Bates: Writing Programs that Construct Proofs. J. Autom. Reasoning 1(3): 285-326 (1985)

1985
2	EE	Joseph L. Bates, Robert L. Constable: Proofs as Programs. ACM Trans. Program. Lang. Syst. 7(1): 113-136 (1985)
1		Robert L. Constable, Todd B. Knoblock, Joseph L. Bates: Writing Programs that Construct Proofs. J. Autom. Reasoning 1(3): 285-326 (1985)

Coauthor Index