-
La représentation des connaissances
This dataset has no description
-
Automated Deduction Techniques for Studying Rough Algebras
Article dans revue scientifique avec comité de lecture. -
Logics for XML
Cette thèse propose une nouvelle logique d'arbres finis pour analyser les programmes manipulant les données du Web. Cette logique offre le meilleur compromis connu entre... -
Variable free reasoning on finite trees
Colloque avec actes et comité de lecture. internationale.
