README.md 181 Bytes
Newer Older
Lucas Larroque's avatar
Lucas Larroque committed
1
2
3
4
5
# Internship L3

Contains LaTeX and pdf files related to my internship at INRIA Montpellier.

Subject: Normalisation Procedures for Existential Rules that Preserve Chase Termination