Algorithms in Symbolic Computation (bachelor seminar)
Computability Theory
Computational Logic (bachelor project)
Formal Languages and Automata Theory
Term Rewriting