Semiring Provenance for First-Order Model Checking
Grädel, Erich (Corresponding author); Tannen, Val
(2017)
Preprint
Institutions
- Department of Mathematics [110000]
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
Identifier
- arXiv: arXiv:1712.01980
- RWTH PUBLICATIONS: RWTH-2018-01222