Lovro Mrkonjić
Address
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
Phone: | +49-241-80-21709 |
Fax: | +49-241-80-22215 |
Room: | 4119 (E1) / Ahornstr. 55 |
Email: | mrkonjic [AT] logic.rwth-aachen.de |
Office Hours
Whenever the door is open / by appointmentResearch
- Equivalence and Implication under Semiring Semantics
Teaching
Recent Publications
- E. Grädel and L. Mrkonjić. Elementary equivalence versus isomorphism in semiring semantics. arXiv:2102.05473 [math.LO], preprint of ICALP'21 paper, 2021.
- 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.
- L. Mrkonjić. The Model Theory of Semiring Semantics. Master thesis, RWTH Aachen University, 2020.