Publikationen

2021

• E. Grädel and L. Mrkonjić. Elementary equivalence versus isomorphism in semiring semantics. arXiv:2102.05473 [math.LO], preprint of ICALP'21 paper, 2021.             
  BibTeX

  @misc{GM21,
       title = {Elementary equivalence versus isomorphism in semiring semantics},
       author = {Erich Gr{\"a}del and Lovro Mrkonji{\'c}},
       year = {2021},
       howpublished = {arXiv:2102.05473 [math.LO], preprint of ICALP'21 paper},
       url = {https://arxiv.org/abs/2102.05473},
  }
  

• E. Grädel and L. Mrkonjić. Elementary Equivalence Versus Isomorphism in Semiring Semantics. In 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) (N. Bansal, E. Merelli, and J. Worrell, Eds.), vol. 198 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 133:1–133:20, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021.             
  BibTeX

  @inproceedings{GM21b,
       author = {Erich Gr\"{a}del and Lovro Mrkonji\'{c}},
       title = {{Elementary Equivalence Versus Isomorphism in Semiring Semantics}},
       booktitle = {48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)},
       pages = {133:1--133:20},
       series = {Leibniz International Proceedings in Informatics (LIPIcs)},
       isbn = {978-3-95977-195-5},
       issn = {1868-8969},
       year = {2021},
       volume = {198},
       editor = {Nikhil Bansal and Emanuela Merelli and James Worrell},
       publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
       address = {Dagstuhl, Germany},
       url = {https://drops.dagstuhl.de/opus/volltexte/2021/14202},
       urn = {urn:nbn:de:0030-drops-142022},
       doi = {10.4230/LIPIcs.ICALP.2021.133},
       annote = {Keywords: Semiring semantics, elementary equivalence, axiomatisability},
  }
  

2020

• L. Mrkonjić. The Model Theory of Semiring Semantics. Master thesis, RWTH Aachen University, 2020.             
  BibTeX

  @misc{Mrkonjic20,
       author = {Lovro Mrkonji{\'c}},
       howpublished = {Master thesis, RWTH Aachen University},
       title = {The Model Theory of Semiring Semantics},
       url = {http://logic.rwth-aachen.de/pub/mrkonjic/masterarbeit.pdf},
       year = {2020},
  }