The quantifier complexity of polynomial-size iterated definitions in first-order logic

• Autores: Samuel R. Buss, Alan S. Johnson
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 56, Nº. 6, 2010, págs. 573-590
• Idioma: inglés
• Texto completo no disponible (Saber más ...)