Title of article :
An Extension of Fixpoint Logic with a Symmetry-Based Choice Construct
Author/Authors :
F. Gire، نويسنده , , H. K. Hoang، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1998
Journal title :
Information and Computation
Journal title :
Information and Computation
