Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Bachelorverteidigung: Max Wehmeier

"Lokalität der Logik erster Stufe mit Semiring-Semantik"