|
Search the dblp DataBase
Virginie Thion:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nicole Bidoit, Serenella Cerrito, Virginie Thion
Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride. [Citation Graph (0, 0)][DBLP] BDA, 2003, pp:- [Conf]
- Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer
A General Theorem Prover for Quantified Modal Logics. [Citation Graph (0, 0)][DBLP] TABLEAUX, 2002, pp:266-280 [Conf]
- Nicole Bidoit, Serenella Cerrito, Virginie Thion
A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2004, v:14, n:4, pp:447-475 [Journal]
Search in 0.001secs, Finished in 0.001secs
|