Title of article :
An Until Hierarchy and Other Applications of an Ehrenfeucht–Fraïssé Game for Temporal Logic
Author/Authors :
Kousha Etessami، نويسنده , , Thomas Wilke، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Journal title :
Information and Computation
Journal title :
Information and Computation
