-
Pragmatic constraints of completeness and linguistics of contributions in tex...
The main purpose of our thesis is to study and uncover a linguistic level superior to sentence’s level andwhich must inevitably be considered before any determination... -
Analyse des risques. Combiner les démarches déterministes et probabilistes
Les raisonnements déterministes et probabilistes sont fortement différents,tout en étant très interdépendants. C'est ce qui rend difficile leurs études comparées et... -
From ordered monoids to quantales and Petri nets: completeness results revisi...
Colloque avec actes et comité de lecture. -
Provability in Intuitionistic Linear Logic from a New Interpretation on Petri...
Article dans revue scientifique avec comité de lecture. -
From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Compl...
Submitted to a Journal. Rapport interne. -
Resource models and proof-search in Intuitionistic Linear Logic
Rapport interne. -
Aide à la preuve et à la validation en programmation par règles
Stage de DEA. Rapport de stage.
