Véronique Benzaken

Available identifiers

zbMath Open benzaken.veroniqueMaRDI QIDQ1687730

List of research outcomes

Publication	Date of Publication	Type
M-net Calculus Based Semantics for Triggers	2022-12-09	Paper
Certifying standard and stratified Datalog inference engines in SSReflect	2018-01-04	Paper
A core calculus for XQuery 3.0. Combining navigational and pattern matching approaches	2016-04-26	Paper
Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types	2015-11-11	Paper
CDuce: an XML-centric general-purpose language	2015-07-02	Paper
A Coq formalization of the relational data model	2014-04-16	Paper

Research outcomes over time

This page was built for person: Véronique Benzaken