Sophie Brinke

According to our database, Sophie Brinke authored at least 2 papers in 2024.

Collaborative distances:

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

2024

Ehrenfeucht-Fraïssé Games in Semiring Semantics.

Sophie Brinke, Erich Grädel, Lovro Mrkonjic

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

Semiring Provenance in the Infinite.

Sophie Brinke, Erich Grädel, Lovro Mrkonjic, Matthias Naaf

Proceedings of the Provenance of Elegance in Computation - Essays Dedicated to Val Tannen, 2024