Travelled to:
1 × Israel
Collaborated with:
M.H.M.Cheng M.H.v.Emden
Talks about:
function (1) program (1) warren (1) method (1) logic (1)
Person: B. E. Richards
DBLP: Richards:B=_E=
Contributed to:
Wrote 1 papers:
- CLP-1990-ChengER90 #functional #logic #on the #programming
- On Warren’s Method for Functional Programming in Logic (MHMC, MHvE, BER), pp. 546–560.