Completeness of Kozen s Axiomatisation of the Propositional mu-Calculus

Igor Walukiewicz. Completeness of Kozen s Axiomatisation of the Propositional mu-Calculus. In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA. pages 14-24, IEEE Computer Society, 1995.

Abstract

Abstract is missing.