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
Institutions
- Department of Mathematics [110000]
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
Identifier
- DOI: 10.1007/978-3-030-64187-0_3
- RWTH PUBLICATIONS: RWTH-2022-05559