Publications

Matthias Naaf

2019

  • K. M. Dannert, E. Grädel, M. Naaf, and V. Tannen. Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic. arXiv e-prints, pp. arXiv:1910.07910, 2019.             
  • M. Naaf. Semirings for Provenance Analysis of Fixed-point Logics and Games. Master thesis, RWTH Aachen University, 2019.