Zum Inhalt springen Hachmaoui, Mohammed Houssem Eddine [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Contejean, Evelyne [MitwirkendeR]; Benzaken, Véronique [MitwirkendeR] 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 Hochschulschriften Online ansehen Schließen > Links http://www.theses.fr/2020UPASG021/document Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. theses.fr, 2020-10-16
Hachmaoui, Mohammed Houssem Eddine [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Contejean, Evelyne [MitwirkendeR]; Benzaken, Véronique [MitwirkendeR] 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 Hochschulschriften Online ansehen Schließen > Links http://www.theses.fr/2020UPASG021/document Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. theses.fr, 2020-10-16
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Person/Institution 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 zeige weitere weniger zeigen
> Kollektion Skip to next facet BASE - Bielefeld Academic Search Engine (1) Wert ausschließen theses.fr (1) Wert ausschließen zeige weitere weniger zeigen