Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente JOURNAL OF LOGIC AND COMPUTATION

Tipo Año Título Fuente
Artículo2009Existentially Closed Models and Conservation Results in Bounded ArithmeticJOURNAL OF LOGIC AND COMPUTATION