Title of article :
On the Formalization of the Modal μ-Calculus in the Calculus of Inductive Constructions
Author/Authors :
Marino Miculan، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Keywords :
?-calculus , modal and temporal logics , Type theory , formalmethods.
Journal title :
Information and Computation
Journal title :
Information and Computation
