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.