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