Gwen Kerdiles

	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

Coauthor Index

1

Eric Salvat

[2]