ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Bounded arithmetic"
Mostrando ítems 1-1 de 1
-
Artículo
Existentially Closed Models and Conservation Results in Bounded Arithmetic
(Oxford Academic, 2009)We develop model-theoretic techniques to obtain conservation results for first order Bounded Arithmetic theories, based ...