Virginie Thion

	2004
3		Nicole Bidoit, Serenella Cerrito, Virginie Thion: A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic. Journal of Applied Non-Classical Logics 14(4): 447-475 (2004)
	2003
2		Nicole Bidoit, Serenella Cerrito, Virginie Thion: Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride. BDA 2003
	2002
1		Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer: A General Theorem Prover for Quantified Modal Logics. TABLEAUX 2002: 266-280

Coauthor Index

1	Nicole Bidoit (Nicole Bidoit-Tollu)	[2] [3]
2	Serenella Cerrito	[1] [2] [3]
3	Marta Cialdea Mayer	[1]