Seminar aus theoretischer Informatik (WS 19/20)

Thema: H. Straubing: Finite Automata, Formal Logic, and Circuit Complexity, Springer, 1994

• Stefan Schrott: Charakterisierung regulärer Sprachen und regulärer numerischer Prädikate durch logische Formeln
• Paul Hotzy: Modelltheoretische Spiele
• Tomáš Nagy: Endliche Halbgruppen
• Leo Brauner: Charakterisierungen der Sprachen in FO[<], FO[+1] und FO[Reg] mittels syntaktischem Monoid und Homomorphismus
• Lucas Unterberger: Modulare Quantoren
• Alexandra Bergmayr: Schaltkreiskomplexität
• Charlotte Jergitsch: Reguläre Sprachen und Schaltkreiskomplexität