- 3
MM
Marie-Laure Mugnier
3
Documents
Identifiants chercheurs
- marie-laure-mugnier
- 0000-0002-0574-3693
- IdRef : 129977896
Présentation
Publications
- 1
- 1
- 1
- 1
- 3
- 3
- 3
- 3
- 1
- 2
|
A Single Approach to Decide Chase Termination on Linear Existential RulesICDT 2019 - 22nd International Conference on Database Theory, Mar 2019, Lisbonne, Portugal. pp.18:1--18:19, ⟨10.4230/LIPIcs.ICDT.2019.18⟩
Communication dans un congrès
lirmm-02148200v1
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States
Communication dans un congrès
lirmm-01892353v1
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules[Research Report] arXiv:1810.02132. 2018
Rapport
lirmm-01892375v1
|