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.












