Travelled to:
1 × Denmark
Collaborated with:
S.Ma K.Xu
Talks about:
program (1) logic (1) limit (1) horn (1)
Person: Yuefei Sui
DBLP: Sui:Yuefei
Contributed to:
Wrote 1 papers:
- ICLP-2002-MaSX #logic programming #source code
- The Limits of Horn Logic Programs (SM, YS, KX), p. 467.