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) [Buchbeitrag, Beitrag zu einem Tagungsband]

[29th EACSL Annual Conference on Computer Science Logic, CSL 2021]

Identifikationsnummern