Clotilde Bizière

According to our database, Clotilde Bizière authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Locality Theorems in Semiring Semantics.

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

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023