Travelled to:1 × Italy
1 × Japan
1 × USA
Collaborated with:D.P.Friedman J.P.Near O.Kiselyov C.Shan E.Holk J.Willcock T.Hoefler A.Chauhan A.Lumsdaine
Talks about:declar (3) construct (1) explicit (1) communic (1) arithmet (1) theorem (1) leantap (1) languag (1) classic (1) prover (1)
Person: William E. Byrd
DBLP: Byrd:William_E=
Contributed to:
2011
2008
2008Wrote 3 papers:
- PADL-2011-HolkBWHCL #communication #declarative #named
- Kanor — A Declarative Language for Explicit Communication (EH, WEB, JW, TH, AC, AL), pp. 190–204.
- FLOPS-2008-KiselyovBFS #declarative
- Pure, Declarative, and Constructive Arithmetic Relations (OK, WEB, DPF, CcS), pp. 64–80.
- ICLP-2008-NearBF #declarative #first-order #logic #named #proving #theorem proving
- αleanTAP: A Declarative Theorem Prover for First-Order Classical Logic (JPN, WEB, DPF), pp. 238–252.