BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Byrd:William_E=

Contributed to:

PADL 20112011
FLOPS 20082008
ICLP 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.