Autor der Publikation

A Coq Formalisation of SQL's Execution Engines.

, , , und . ITP, Volume 10895 von Lecture Notes in Computer Science, Seite 88-107. Springer, (2018)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Coq formalization of data provenance., , , , und . CPP, Seite 152-162. ACM, (2021)A Coq Formalisation of SQL's Execution Engines., , , und . ITP, Volume 10895 von Lecture Notes in Computer Science, Seite 88-107. Springer, (2018)On the Semantics of Polychronous Polytimed Specifications., , , , , und . FORMATS, Volume 12288 von Lecture Notes in Computer Science, Seite 23-40. Springer, (2020)An Interactive SMT Tactic in Coq using Abductive Reasoning., , , , , und . LPAR, Volume 94 von EPiC Series in Computing, Seite 11-22. EasyChair, (2023)Compositional Pre-processing for Automated Reasoning in Dependent Type Theory., , , , , , und . CPP, Seite 63-77. ACM, (2023)