We stand with Ukraine  

Mohammed Houssem Eddine Hachmaoui

According to our database1, Mohammed Houssem Eddine Hachmaoui authored at least 1 paper in 2020.

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2020
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).
[BibTeX]
[DOI]
Mohammed Houssem Eddine Hachmaoui
PhD thesis, 2020


  Loading...