Semiring Provenance for Guarded Logics
Grädel, Erich (Corresponding author); Dannert, Katrin M.
(2019)
Preprint
Einrichtungen
- Fachgruppe Mathematik [110000]
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
- Graduiertenkolleg UnRAVeL [080060]
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-2019-12212