Semiring Provenance for First-Order Model Checking
Grädel, Erich (Corresponding author); Tannen, Val
(2017)
Preprint
Einrichtungen
- Fachgruppe Mathematik [110000]
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
Identifikationsnummern
- arXiv: arXiv:1712.01980
- RWTH PUBLICATIONS: RWTH-2018-01222