Title of article
Completeness of Kozenʹs Axiomatisation of the Propositional μ-Calculus
Author/Authors
Igor Walukiewicz، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
41
From page
142
To page
182
Journal title
Information and Computation
Serial Year
2000
Journal title
Information and Computation
Record number
333724
Link To Document