- 2
MM
Marie-Laure Mugnier
2
Documents
Identifiants chercheurs
- marie-laure-mugnier
- 0000-0002-0574-3693
- IdRef : 129977896
Présentation
Publications
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
|
On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic NegationInformation and Computation, 2012, 215, pp.8-31. ⟨10.1016/j.ic.2012.03.001⟩
Article dans une revue
lirmm-00681914v1
|
|
On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic NegationRR-11026, 2009, pp.46
Rapport
lirmm-00413699v2
|