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