Katrin M. Dannert | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Erich Grädel
14 publications
Matthias Naaf
6 publications
Val Tannen
5 publications

research

∙ 10/17/2019

Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic

Semiring provenance is a successful approach to provide detailed informa...

0 Katrin M. Dannert, et al. ∙