Travelled to:
1 × Canada
Collaborated with:
J.Xu M.Epstein E.Freeman
Talks about:
semant (1) modul (1) logic (1) denot (1) clp (1)
Person: B. McDonald
DBLP: McDonald:B=
Contributed to:
Wrote 1 papers:
- ILPS-1993-McDonaldXEF #logic #on the #semantics
- On the Denotational and Logical Semantics of CLP-Modules (BM, JX, ME, EF), p. 658.