Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por autor 

Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por autor "Fernández Margarit, Alejandro"  

Mostrando ítems 1-2 de 2

    • Ponencia
      Icon

      On Rules and Parameter Free Systems in Bounded Arithmetic 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2007)
      We present model–theoretic techniques to obtain conservation results for first order bounded arithmetic theories, based on a hierarchical version of the well known notion of an existentially closed model.
    • Ponencia
      Icon

      Provably Total Primitive Recursive Functions: Theories with Induction 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2004)
      A natural example of a function algebra is R (T), the class of provably total computable functions (p.t.c.f.) of a theory ...