Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
Exam : 31.08.2021 : Q 8 (d) : 2021.08.31.vrs.solutions.pdf (uni-kl.de)
In the solution of problem 8 (d)
AFpsi needs to be as below (mu instead of nu) :
AFpsi <=> mu z. psi | z
Please correct me if I am wrong.