Listar Ciencias de la Computación e Inteligencia Artificial por materia 

ListarCiencias de la Computación e Inteligencia Artificial por materia "Quantifier complexity"

Mostrando ítems 1-1 de 1

    • Artículo
      Icon

      On the quantifier complexity of Δ n+1 (T)– induction 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2004)
      In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity ...