Lovro Mrkonjić
Adresse
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
Telefon: | +49-241-80-21709 |
Fax: | +49-241-80-22215 |
Büro: | 4119 (E1) / Ahornstr. 55 |
E-Mail: | mrkonjic [AT] logic.rwth-aachen.de |
Sprechstunde
Wenn die Tür offen ist / nach VereinbarungForschung
- Äquivalenz und Implikation in der Halbringsemantik
Lehre
Aktuelle Publikationen
- E. Grädel and L. Mrkonjić. Elementary equivalence versus isomorphism in semiring semantics. arXiv:2102.05473 [math.LO], 2021.
- L. Mrkonjić. The Model Theory of Semiring Semantics. Master thesis, RWTH Aachen University, 2020.