Title of article

A note on the characterization of

Author/Authors

Zhilin Wu، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 2007

Pages

7

From page

48

To page

54

Keywords

Branching-time temporal logic , Tree languages , Formal languages , Ehrenfeucht–Fraïssé game

Journal title

Information Processing Letters

Serial Year

2007

Journal title

Information Processing Letters

Record number

130400