Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic

(2019) [Preprint]

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Dannert, Katrin M.
Grädel, Erich
Naaf, Matthias
Tannen, Val

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-09537