Publications
Sophie Brinke
2023
-
S. Brinke. Ehrenfeucht-Fraïssé Games for Semiring Semantics. Master thesis, RWTH Aachen University, 2023.
@misc{Brinke23,
author = {Sophie Brinke},
howpublished = {Master thesis, RWTH Aachen University},
title = {Ehrenfeucht-Fra{\"i}ss{\'e} Games for Semiring Semantics},
url = {http://logic.rwth-aachen.de/pub/brinke/masterarbeit.pdf},
year = {2023},
}