Semiring Provenance for First-Order Model Checking

(2017) [Preprint]

Seite(n): 20 Seiten

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Grädel, Erich
Tannen, Val

Identifikationsnummern

  • REPORT NUMBER: RWTH-2018-01222