Semiring Provenance for Guarded Logics

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

Cham : Springer International Publishing (2021)
Buchbeitrag

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