Title of article
The monadic theory of finite representations of infinite words
Author/Authors
Anuj Dawar، نويسنده , , David Janin، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2007
Pages
8
From page
94
To page
101
Keywords
Automata on infinite words , Logic , Specification languages , Descriptive complexity
Journal title
Information Processing Letters
Serial Year
2007
Journal title
Information Processing Letters
Record number
130457
Link To Document