Skip to contents Hachmaoui, Mohammed Houssem Eddine [Author] ; université Paris-Saclay [Contributor]; Contejean, Evelyne [Contributor]; Benzaken, Véronique [Contributor] Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée ; A Coq certified translation from an extension of relational algebra for SQL to a nested algebra Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2020-10-16
Hachmaoui, Mohammed Houssem Eddine [Author] ; université Paris-Saclay [Contributor]; Contejean, Evelyne [Contributor]; Benzaken, Véronique [Contributor] Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée ; A Coq certified translation from an extension of relational algebra for SQL to a nested algebra Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2020-10-16
> Creator Skip to next facet Benzaken, Véronique (1) Wert ausschließen Contejean, Evelyne (1) Wert ausschließen Hachmaoui, Mohammed Houssem Eddine (1) Wert ausschließen université Paris-Saclay (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (1) Wert ausschließen theses.fr (1) Wert ausschließen Show more show less