PP-2017-04: Sebastian Enqvist, Fatemeh Seifan, Yde Venema Completeness for mu-calculi: a coalgebraic approach 1.Full Text, 2.Abstract. < Back
