Provenance analysis for logic and games

DOI10.2140/moscow.2020.9.203zbMath1485.68151arXiv1907.08470OpenAlexW3094619289MaRDI QIDQ2211257

Erich Grädel, Val Tannen

Publication date: 10 November 2020

Published in: Moscow Journal of Combinatorics and Number Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.08470

zbMATH Keywords

gamesfinite model theorysemiring provenance

Mathematics Subject Classification ID

Games involving graphs (91A43) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Model theory of finite structures (03C13)

Related Items (2)

Computing least and greatest fixed points in absorptive semirings ⋮ Semiring Provenance for Guarded Logics

Cites Work

• Containment of conjunctive queries on annotated relations
• On database query languages for K-relations
• Provenance propagation in complex queries
• Provenance analysis: a perspective for description logics?
• Algebraic Structures for Capturing the Provenance of SPARQL Queries
• Unnamed Item

This page was built for publication: Provenance analysis for logic and games