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.