Treffer 1 - 4 von 4 für Suche 'Hachmaoui, Mohammed Houssem', Suchdauer: 0,32s Treffer weiter einschränken
  1. 1
    Translating canonical SQL to imperative code in Coq

    Translating canonical SQL to imperative code in Coq von Benzaken, Véronique, Contejean, Évelyne, Hachmaoui, Mohammed Houssem, Keller, Chantal, Mandel, Louis, Shinnar, Avraham, Siméon, Jérôme


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée

    Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée von Hachmaoui, Mohammed Houssem Eddine

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Translating Canonical SQL to Imperative Code in Coq

    Translating Canonical SQL to Imperative Code in Coq von Benzaken, Véronique, Contejean, Évelyne, Hachmaoui, Mohammed Houssem, Keller, Chantal, Mandel, Louis, Shinnar, Avraham, Siméon, Jérôme

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Translating Canonical SQL to Imperative Code in Coq

    Translating Canonical SQL to Imperative Code in Coq von Benzaken, Véronique, Contejean, Évelyne, Hachmaoui, Mohammed Houssem, Keller, Chantal, Mandel, Louis, Shinnar, Avraham, Siméon, Jérôme

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: