Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
Dannert, Katrin M.; Grädel, Erich (Corresponding author); Naaf, Matthias Ferdinand; Tannen, Val
(2019)
Preprint
Einrichtungen
- Fachgruppe Mathematik [110000]
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
- Graduiertenkolleg UnRAVeL [080060]
Identifikationsnummern
- DOI: 10.18154/RWTH-2019-09537
- arXiv: arXiv:1910.07910
- RWTH PUBLICATIONS: RWTH-2019-09537