Travelled to:
1 × Portugal
Collaborated with:
H.Guo M.Subramaniam
Talks about:
consist (1) logic (1) check (1) base (1) lsc (1)
Person: Wen Zheng
DBLP: Zheng:Wen
Contributed to:
Wrote 1 papers:
- PPDP-2009-GuoZS #consistency #named
- L2C2: logic-based LSC consistency checking (HFG, WZ, MS), pp. 183–194.