Locality theorems in semiring semantics

DOI10.4230/LIPICS.MFCS.2023.20MaRDI QIDQ6647646zbMATH OpenFDO

Authors Clotilde Bizière, Erich Grädel, Matthias Naaf

Publication date 3 December 2024

Full work available at URL https://doi.org/10.4230/LIPICS.MFCS.2023.20

zbMATH Keywords

first-order logiclocalitysemiring semantics

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(2)

• Ehrenfeucht-Fraïssé games in semiring semantics
• Homomorphism preservation theorems for many-valued structures

This page was built for publication: Locality theorems in semiring semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6647646)