Travelled to:
1 × USA
Collaborated with:
C.Braem B.L.Charlier P.V.Hentenryck
Talks about:
analysi (1) prolog (1) cardin (1)
Person: S. Modart
DBLP: Modart:S=
Contributed to:
Wrote 1 papers:
- ILPS-1994-BraemCMH #analysis #prolog
- Cardinality Analysis of Prolog (CB, BLC, SM, PVH), pp. 457–471.