Teaching in the AL department in the summer semester 2022

  • Automata Theory (AT)
  • Automata and Complexity (AuK)
  • Logic and Logic Programming (LuLP)
  • Logic in Computer Science (LidI)