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

Publicaciones en la fuente UNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS

Tipo Año Título Fuente
Artículo2002Generation of diophantine sets by computing P systems with external outputUNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS
Artículo2002Specification of Adleman's restricted model using an automated reasoning system: Verification of Lipton's experimentUNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS