Lehre im Wintersemester 2017/18 Einführung in Berechenbarkeit, Komplexität, und formale SpracheProjektgruppe Re(AC)t Further information : SS 2023WT 2022/23ST 2022WT 2021/22ST 2021WT 2020/21SS 2020WT 2019/20ST 2019WT 2018/19ST 2018ST 2017WT 2016/17ST 2016WT 2015/16