Semiring Provenance for Guarded Logics

Dannert, Katrin M. (Corresponding author); Grädel, Erich (Corresponding author)

Cham : Springer International Publishing (2021)
Contribution to a book

In: Hajnal Andréka and István Németi on Unity of Science, From Computing to Relativity Theory Through Algebraic Logic
Page(s)/Article-Nr.: 53-79