Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Logik in der Informatik

Willkommen auf den Webseiten des Lehrstuhls "Theoretische Informatik"!

Aktuelles:

• Die Arbeit "Complexity of Clique-Guarded First-Order Logic with Counting“ von Steffen van Bergerem, Johannes Lange und Nicole Schweikardt wurde bei MFCS 2026 akzeptiert.
• Neue Version der Arbeit "First-Order Query Evaluation with Cardinality Conditions" von Martin Grohe und Nicole Schweikardt auf ArXiv erhältlich (12.06.2026)
• Neues Preprint bei ArXiv erhältlich: "A Rank-Preserving Gaifman Normal Form" von Martin Grohe und Nicole Schweikardt (10.06.2026)