| |
| 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 | EE | Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer: A General Theorem Prover for Quantified Modal Logics. TABLEAUX 2002: 266-280 |
| 1 | Nicole Bidoit (Nicole Bidoit-Tollu) | [2] [3] |
| 2 | Serenella Cerrito | [1] [2] [3] |
| 3 | Marta Cialdea Mayer | [1] |