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

Verteidigung der Masterarbeit: Charlotte Lenz

"Efficient Query Evaluation of First-Order Logic with Counting on Nowhere Dense Classes of Structures"