Results on the Propositional mu-Calculus

@article{Kozen1983ResultsOT,
  title={Results on the Propositional mu-Calculus},
  author={Dexter Kozen},
  journal={Theor. Comput. Sci.},
  year={1983},
  volume={27},
  pages={333-354}
}
Highly Influential
This paper has highly influenced 143 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…