( en | de | ru )

 

Disambiguierung von "Benzaken, Véronique"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Coq formalization of data provenance.

, , , , und . CPP, Seite 152-162. ACM, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Véronique Trappe

Véronique Porra

Véronique Buschmann

Véronique Mersseman

Véronique Henn

 

Weitere Publikationen von Autoren mit dem selben Namen

Thémis: A Database Programming Language Handling Integrity Constraints, und . VLDB J., 4 (3): 493-517 (1995)Benchmarking Queries over Trees: Learning the Hard Truth the Hard Way., , , , und . SIGMOD Conference, Seite 510-511. ACM, (2000)SIGMOD Record 29(2), June 2000.A Coq formalization of data provenance., , , , und . CPP, Seite 152-162. ACM, (2021)Schema Manipulation and Optimisation. POS, Seite 222-223. Springer, (1992)ULoad: Choosing the Right Storage for Your XML Application., , , und . VLDB, Seite 1330-1333. ACM, (2005)An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System.. ICDT, Volume 470 von Lecture Notes in Computer Science, Seite 126-140. Springer, (1990)Object Store Engineering 2.. POS, Seite 43-44. Springer and British Computer Society, (1994)Définition et Gestion de Constraintes d'Intégrité dans le Language Thémis., , und . BDA, Seite 425-. INRIA, (1993)Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique., , und . Proc. 15èmes Journées Bases de Données Avancées, BDA, Seite 283-301. Actes, (1999)Algebra-Based Identification of Tree Patterns in XQuery., , , , und . FQAS, Volume 4027 von Lecture Notes in Computer Science, Seite 13-25. Springer, (2006)