Locality Theorems in Semiring Semantics.

Clotilde Bizière Erich Grädel Matthias Naaf

Published in: CoRR (2023)

Keyphrases

semantic information
formal semantics
model theoretic
genetic algorithm
case study
relational algebra
spatial locality
information systems
logic programming
model checking
specification language