Elementary equivalence versus isomorphism in semiring semantics.

Erich Grädel Lovro Mrkonjic

Published in: CoRR (2021)

Keyphrases

graph theory
formal semantics
decision diagrams
graph isomorphism
database
semantic information
operational semantics
database systems
logic programming
expressive power
soft constraints
model theoretic