Publikationen

2023

• S. Brinke. Ehrenfeucht-Fraïssé Games for Semiring Semantics. Master thesis, RWTH Aachen University, 2023.             
  BibTeX

  @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},
  }