-
Combining Epistemic Logic and Hennessy-Milner Logic
International audience -
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... -
On the construction of pullbacks for safe Petri nets
The product of safe Petri nets is a well known operation: it generalizes to concurrent systems the usual synchronous product of automata. In this short note, we... -
CPP 2012: Second International Conference on Certified Programs and Proofs
International audience -
Mechanisms and Downward Causation
International audience -
Geodesically Complete Lorentzian metrics on some Homogeneous 3 manifolds
International audience -
Sequent Calculi with procedure calls
In this paper, we introduce two focussed sequent calculi, LKp(T) and LK+(T), that are based on Miller-Liang's LKF system for polarised classical logic. The novelty is... -
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. -
Simultaneous Checking of Completeness and Ground Confluence
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.
