Travelled to:1 × Finland
Collaborated with:∅
Talks about:without (1) program (1) semant (1) occur (1) logic (1) check (1)
Person: W. P. Weijland
DBLP: Weijland:W=_P=
Contributed to:
Wrote 1 papers:
- ICALP-1988-Weijland #logic programming #semantics #source code
- Semantics for Logic Programs without Occur Check (WPW), pp. 710–726.












