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
Pages
21
From page
88
To page
108
Journal title
Information and Computation
Serial Year
2000
Journal title
Information and Computation
Record number
261904
Link To Document