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

Publicaciones en la fuente COMPUTER SCIENCE LOGIC, PROCEEDINGS

Tipo Año Título Fuente
Artículo2004Provably total primitive recursive functions: Theories with inductionCOMPUTER SCIENCE LOGIC, PROCEEDINGS