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


  • UnRAVeL Research Training Group [080060]
  • Department of Mathematics [110000]
  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]