Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic

(2019) [Preprint]

Authors

Selected Authors

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

Identifier

  • REPORT NUMBER: RWTH-2019-09537