Semiring Provenance for Guarded Logics
Grädel, Erich (Corresponding author); Dannert, Katrin M.
(2019)
Preprint
Identifier
- RWTH PUBLICATIONS: RWTH-2019-12212
Skip to Content Skip to Main Navigation Skip to Footer Skip to Search
Search
Department of Mathematics
Faculties and Institutions
You Are Here: Semiring Provenance for Guarded Logics
Faculties and Institutes
- Mathematics, Computer Science and Natural SciencesFaculty 1
- ArchitectureFaculty 2
- Civil EngineeringFaculty 3
- Mechanical EngineeringFaculty 4
- Georesources and Materials EngineeringFaculty 5
- Electrical Engineering and Information TechnologyFaculty 6
- Arts and HumanitiesFaculty 7
- Business and EconomicsFaculty 8
- MedicineFaculty 10
Find Institute:
Navigation
Department
You Are Here:
- Home
- Research
- Activities
- Preprints
- Semiring Provenance for Guarded Logics