Title of article
An Extension of Fixpoint Logic with a Symmetry-Based Choice Construct
Author/Authors
F. Gire، نويسنده , , H. K. Hoang، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
26
From page
40
To page
65
Journal title
Information and Computation
Serial Year
1998
Journal title
Information and Computation
Record number
261785
Link To Document