Ver Financiación - Prisma - Unidad de Bibliometría

Modelos de la aritmética y clasificación de funciones computables

Referencia: MTM2005-08658

Tipo: Proyecto de investigación
Programa financiador: Plan Nacional del 2005
Entidad financiadora: Ministerio de Educación y Ciencia
Ámbito: Nacional
Convocatoria competitiva:
Fecha de inicio: 31/12/2005
Fecha de fin: 31/12/2008
Participantes en la financiación
Nombre Rol
Fernández Margarit, Alejandro Responsable
Cordón Franco, Andrés Investigador/a
Lara Martín, Francisco Félix Investigador/a
Publicaciones relacionadas
Tipo Año Título Fuente
Artículo 2011 A note on parameter free Pi(1)-induction and restricted exponentiation MATHEMATICAL LOGIC QUARTERLY
Ponencia 2007 On rules and parameter free systems in bounded arithmetic COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS
Nota: la fuente de financiación de las publicaciones se ha obtenido de WOS