Benedikt, M., Pradic, C., & Wernhard, C. (2022). Synthesizing nested relational queries from implicit specifications: Via model theory and via proof theory.
Citazione stile Chigago Style (17a edizione)Benedikt, Michael, Cécilia Pradic, e Christoph Wernhard. Synthesizing Nested Relational Queries from Implicit Specifications: Via Model Theory and via Proof Theory. 2022.
Citatione MLA (9a ed.)Benedikt, Michael, et al. Synthesizing Nested Relational Queries from Implicit Specifications: Via Model Theory and via Proof Theory. 2022.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.