Aktuelle Informationen des Fachgebiets Automaten und Logik

Seite 2 von 3.

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 Raum Z 2073 M.…

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 games" von M.…

TU Ilmenau

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

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

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 Christoph…

TU Ilmenau

Arbeit von Prof. Dietrich Kuske auf der FCT 2025 zur Veröffentlichung angenommen

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

TU Ilmenau

Arbeit von Christoph Berkholz, Moritz Lichter und Harry Vinall-Smeeth auf der MFCS 2025 zur Veröffentlichung angenommen

Die Arbeit “Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph…

Paper, CiE 2025 LissabonTU Ilmenau

Arbeit von Prof. Dietrich Kuske auf der CiE 2025 zur Veröffentlichung angenommen

Die Arbeit "The theory of reachability of trace-pushdown systems" von Prof. Dietrich Kuske…

TU Ilmenau

Arbeit von Stefan Mengel und Harry Vinall-Smeeth auf der PODS 2025 zur Veröffentlichung angenommen

Die Arbeit "A Lower Bound on Unambiguous Context Free Grammars via Communication…

TU Ilmenau

Beitrag von Chris Köcher und Dietrich Kuske im Journal of Computer and System Sciences veröffentlicht

Der Beitrag “Backwards-reachability for cooperating multi-pushdown systems” von Chris…

TU Ilmenau

Arbeit von Harry Vinall-Smeeth auf der IJCAI'24 zur Veröffentlichung angenommen

Die Arbeit “Structured d-DNNF is Not Closed Under Negation” von Harry Vinall-Smeeth wurde…

Seite 2 von 3.