Adresse

Mathematische Grundlagen der Informatik
RWTH 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 Vereinbarung

Forschung

• Ä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.

Alle Publikationen