مرکز منطقه ای اطلاع رساني علوم و فناوري - Implicit complexity over an arbitrary structure: Quantifier alternations

Title of article :

Implicit complexity over an arbitrary structure: Quantifier alternations

Author/Authors :

Olivier Bournez، نويسنده , , Felipe Cucker، نويسنده , , Paulin Jacobe de Naurois، نويسنده , , Jean-Yves Marion، نويسنده ,

Issue Information :

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

Pages :

From page :

210

To page :

230

Keywords :

Implicit complexity , Arbitrary structures , Safe recursion , BSS computation

Journal title :

Information and Computation

Serial Year :

2006

Journal title :

Information and Computation

Record number :

262329

Link To Document :