Travelled to:1 × USA
Collaborated with:J.W.Lloyd
Talks about:procedur (1) program (1) partial (1) logic (1) evalu (1)
Person: Kerima Benkerimi
DBLP: Benkerimi:Kerima
Contributed to:
Wrote 1 papers:
- NACLP-1990-BenkerimiL #logic programming #partial evaluation #source code
- A Partial Evaluation Procedure for Logic Programs (KB, JWL), pp. 343–358.












