Title of article :
The most nonelementary theory
Author/Authors :
Sergei Vorobyov، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Keywords :
Inductivedefinition , Lower complexity bound , Generic reduction , Nonelementary theory , Reduction via length order
Journal title :
Information and Computation
Journal title :
Information and Computation