Title of article
An Infinite Hierarchy of Temporal Logics over Branching Time
Author/Authors
Alexander Rabinovich، نويسنده , , Shahar Maoz، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
27
From page
306
To page
332
Journal title
Information and Computation
Serial Year
2001
Journal title
Information and Computation
Record number
262018
Link To Document