| |
| 1999 | ||
|---|---|---|
| 3 | Gwen Kerdiles: Dynamic Semantics for Conceptual Graphs. ICCS 1999: 494-507 | |
| 1997 | ||
| 2 | Gwen Kerdiles, Eric Salvat: A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux. ICCS 1997: 371-385 | |
| 1 | Gwen Kerdiles: Projection: A Unification Procedure for Tableaux in Conceptual Graphs. TABLEAUX 1997: 216-230 | |
| 1 | Eric Salvat | [2] |