Author of the publication

Certifying Standard and Stratified Datalog Inference Engines in SSReflect.

, , and . ITP, volume 10499 of Lecture Notes in Computer Science, page 171-188. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Benzaken, Véronique
add a person with the name Benzaken, Véronique
 

Other publications of authors with the same name

Gestionnaires de mémoires et d'objets., , and . BDA, page 233-266. INRIA, (1988)A Full Pattern-Based Paradigm for XML Query Processing., , and . PADL, volume 3350 of Lecture Notes in Computer Science, page 235-252. Springer, (2005)The Design and Implementation of O2, an Object-Oriented Database Systems., , , , , , , , and . OODBS, volume 334 of Lecture Notes in Computer Science, page 1-32. Springer, (1988)Benchmarking Queries over Trees: Learning the Hard Truth the Hard Way., , , , and . SIGMOD Conference, page 510-511. ACM, (2000)SIGMOD Record 29(2), June 2000.Thémis: A Database Programming Language Handling Integrity Constraints, and . VLDB J., 4 (3): 493-517 (1995)M-net Calculus Based Semantics for Triggers., , , , and . ICATPN, volume 1420 of Lecture Notes in Computer Science, page 306-325. Springer, (1998)Static and dynamic semantics of NoSQL languages., , , and . POPL, page 101-114. ACM, (2013)A Coq formalization of data provenance., , , , and . CPP, page 152-162. ACM, (2021)XML Typechecking., , , , and . Encyclopedia of Database Systems, Springer US, (2009)Enforcing Integrity Constraints in Database Programming Languages., , and . POS, page 282-299. Springer, (1992)