Katrin M. Dannert

According to our database, Katrin M. Dannert authored at least 3 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Semiring Provenance for Fixed-Point Logic.

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

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2019

Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic.

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

CoRR, 2019

Provenance Analysis: A Perspective for Description Logics?

Katrin M. Dannert, Erich Grädel

Proceedings of the Description Logic, Theory Combination, and All That, 2019