Travelled to:1 × Belgium
Collaborated with:I.Cervesato
Talks about:retract (1) datalog (1) linear (1) assert (1) model (1) logic (1) fact (1)
Person: Edmund Soon Lee Lam
DBLP: Lam:Edmund_Soon_Lee
Contributed to:
2012Wrote 1 papers:
- PPDP-2012-LamC #datalog #linear #logic #modelling
- Modeling datalog fact assertion and retraction in linear logic (ESLL, IC), pp. 67–78.