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
21
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