Commit 2c11f1f3 authored by Lucas Larroque's avatar Lucas Larroque
Browse files

Initial commit

# Internship L3
Contains LaTeX and pdf files related to my internship at INRIA Montpellier.
Subject: Normalisation Procedures for Existential Rules that Preserve Chase Termination
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment