Sophie Brinke

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Soft Constraints

Relational Algebra

Nash Equilibria

Top Venues

Tannen's Festschrift

Publications

Sophie Brinke, Erich Grädel, Lovro Mrkonjic, Matthias Naaf
Semiring Provenance in the Infinite. Tannen's Festschrift (2024)
Sophie Brinke, Erich Grädel, Lovro Mrkonjic
Ehrenfeucht-Fraïssé Games in Semiring Semantics. CSL (2024)
Sophie Brinke, Erich Grädel, Lovro Mrkonjic
Ehrenfeucht-Fraïssé Games in Semiring Semantics. CoRR (2023)