Telecharger Cours

Towards RDF Normalization - HAL

LKsp weakenings or contractions can be performed in parallel. This modification allows us to interpret a symmetrical system of mix elimination rules ELKsp.



Download