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

Einrichtungen

  • Graduiertenkolleg UnRAVeL [080060]
  • Fachgruppe Mathematik [110000]
  • Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]

Identifikationsnummern