Travelled to:
1 × Australia
Collaborated with:
D.Sartini L.C.Aiello
Talks about:
function (1) program (1) logic (1) evalu (1) valu (1) set (1)
Person: Carlo Cecchi
DBLP: Cecchi:Carlo
Contributed to:
Wrote 1 papers:
- ICLP-1987-CecchiSA87 #logic programming #source code
- Evaluating Logic Programs via Set-Valued Functions (CC, DS, LCA), pp. 428–455.