Travelled to:2 × USA
Collaborated with:∅ P.Hoddinott
Talks about:subsumpt (1) program (1) homogen (1) prolog (1) inevit (1) histor (1) logic (1) equal (1) axiom (1) form (1)
Person: E. W. Elcock
DBLP: Elcock:E=_W=
Contributed to:
19891986Wrote 2 papers:
- NACLP-1989-Elcock #logic programming #named
- Absys: The Historical Inevitability of Logic Programming (EWE), pp. 1201–1214.
- SLP-1986-HoddinottE86 #axiom #named #prolog #similarity
- PROLOG: Subsumption of Equality Axioms by the Homogeneous Form (PH, EWE), pp. 115–126.