مرکز منطقه ای اطلاع رساني علوم و فناوري - Linear Time and the Power of One First-Order Universal Quantifier

Title of article :

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

Author/Authors :

Arnaud Durand، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

Linear time , descriptive complexity , finite model theory.

Journal title :

Information and Computation

Serial Year :

2002

Journal title :

Information and Computation

Record number :

262078

Link To Document :