Locality Theorems in Semiring Semantics

Clotilde Bizière, Erich Grädel, Matthias Naaf. Locality Theorems in Semiring Semantics. In Jérôme Leroux, Sylvain Lombardy, David Peleg, editors, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France. Volume 272 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Authors

Clotilde Bizière

This author has not been identified. Look up 'Clotilde Bizière' in Google

Erich Grädel

This author has not been identified. Look up 'Erich Grädel' in Google

Matthias Naaf

This author has not been identified. Look up 'Matthias Naaf' in Google