William E. Byrd

	2008
2		Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan: Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). FLOPS 2008: 64-80
1		Joseph P. Near, William E. Byrd, Daniel P. Friedman: alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. ICLP 2008: 238-252

Coauthor Index

1	Daniel P. Friedman	[1] [2]
2	Oleg Kiselyov	[2]
3	Joseph P. Near	[1]
4	Chung-chieh Shan	[2]