Semiring Provenance for First-Order Model Checking

(2017) [Preprint]

Page(s): 20 Seiten

Authors

Selected Authors

Grädel, Erich
Tannen, Val

Identifier

  • REPORT NUMBER: RWTH-2018-01222