Clotilde Bizière

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Formal Semantics

Logic Programming

Model Theoretic

Semantic Information

Top Venues

Publications

Clotilde Bizière, Erich Grädel, Matthias Naaf
Locality Theorems in Semiring Semantics. CoRR (2023)
Clotilde Bizière, Erich Grädel, Matthias Naaf
Locality Theorems in Semiring Semantics. MFCS (2023)