Lehre im Wintersemester 2017/18 Einführung in Berechenbarkeit, Komplexität, und formale SpracheProjektgruppe Re(AC)t Sie interessieren sich für : SS 2023WS 2022/23SS 2022WS 2021/22SS 2021WS 2020/21SS 2020WS 2019/20SS 2019WS 2018/19SS 2018SS 2017WS 2016/17SS 2016WS 2015/16