View of A Complete Deductive System for the mu-Calculus

Return to Article Details A Complete Deductive System for the mu-Calculus Download Download PDF