Aktuelle Informationen des Fachgebiets Automaten und Logik

Seite 1 von 2.

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Towards understanding the complexity of Decision DNNF representation of CNFs parameterized by the incidence treewidth"

Liebe Freunde der Theorie, am Dienstag, 21.04.2026 spricht um 15:00 Uhr im…

TU Ilmenau

Arbeit von Chris Köcher und Dietrich Kuske für das Journal of Theoretical Computer Science angenommen

Die Arbeit "Reachability in Trace-Pushdown Systems" von Chris Köcher und…

Paper from Sebastian Pfau published at CSL 2026TU Ilmenau

Arbeit von M. Sc. Sebastian Pfau auf der CSL 2026 veröffentlicht

Die Arbeit "Boolean Basis and Succinctness of Modal Logic via Hella-Vilander…

TU Ilmenau

Arbeit aus dem Institut für Theoretische Informatik im Journal of the ACM zur Veröffentlichung angenommen

Die Arbeit „Ribbon: Fast Succinct Static Retrieval and Approximate Membership“…

Arbeit von Christoph Berkholz und Harry Vinall-Smeeth auf der ICDT 2026 zur Veröffentlichung angenommen

Die Arbeit “Factorised Representations of Join Queries: Tight Bounds and a New…

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Barrington's Theorem"

Liebe Freunde der Theorie, am Dienstag, 11.11.2025 spricht um 15:00 Uhr im…

Forschungsseminar des Instituts für Theoretische InformatikTU Ilmenau

Vortrag zum Thema "Simpliziale Homologie"

Liebe Freunde der Theorie, am Dienstag, 28.10.2025 spricht um 15:00 Uhr im…

TU Ilmenau

Arbeit von M. Sc. Sebastian Pfau auf der CSL 2026 zur Veröffentlichung angenommen

Die Arbeit "Boolean Basis and Succinctness of Modal Logic via Hella-Vilander…

TU Ilmenau

Arbeit von Prof. Dietrich Kuske auf der FCT 2025 veröffentlicht

Die Arbeit "Disjointness, inclusion, and regularity of ω-rational trace…

TU Ilmenau

Arbeit von Christoph Berkholz, Dietrich Kuske und Christian Schwarz im Journal Logical Methods in Computer Science erschienen.

Die Arbeit "Boolean basis,  formula size, and number of modal operators." von…

Seite 1 von 2.