Wintersemester 2025/2026

Lehre im Fachgebiet AL im Wintersemester 2025/2026

• Automaten und formale Sprachen (AFS)
• Automatische Strukturen (AS)
• Logik und Logikprogrammierung (LuLP)
• Verification (Ver)