ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Induction"
Mostrando ítems 1-1 de 1
-
Artículo
On the quantifier complexity of Δ n+1 (T)– induction
(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 ...