Title of article

Linear Time and the Power of One First-Order Universal Quantifier

Author/Authors

Arnaud Durand، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2002

Pages

11

From page

12

To page

22

Keywords

Linear time , descriptive complexity , finite model theory.

Journal title

Information and Computation

Serial Year

2002

Journal title

Information and Computation

Record number

262078