Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
1.1k questions
1.3k answers
1.7k comments
556 users
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.