Semiring Provenance for Fixed-Point Logic
Dannert, Katrin M. (Corresponding author); Grädel, Erich (Corresponding author); Naaf, Matthias (Corresponding author); Tannen, Val (Corresponding author)
Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021) [Contribution to a book, Contribution to a conference proceedings]
[29th EACSL Annual Conference on Computer Science Logic, CSL 2021]
Identifier
- DOI: 10.4230/LIPICS.CSL.2021.17
- REPORT NUMBER: RWTH-2021-00549