PP-2016-33: Sebastian Enqvist, Fatemeh Seifan, Yde Venema Completeness for the modal mu-calculus: separating the combinatorics from the dynamics 1.Full Text, 2.Abstract. < Back
