Collaborated with:
F.Rabbi Y.Lamo L.Kristensen
Talks about:
diagrammat (1) approach (1) complet (1) model (1)
Person: Ingrid Yu
DBLP: Yu:Ingrid
Contributed to:
Wrote 1 papers:
- AMT-2015-RabbiLYK #approach #diagrams
- A Diagrammatic Approach to Model Completion (FR, YL, IY, LK), pp. 56–65.