Resultados de no calculabilidad en representaciones de Tipos Abstractos de Datos

• Autores: Laureano Lambán Pardo , María Vico Pascual Martínez-Losa , Julio Rubio García
• Localización: Tercer Encuentro de Algebra Computacional y Aplicaciones: Granada, Septiembre 25-27, 1997 : [EACA-97], 1997, págs. 133-140
• Idioma: español
• Texto completo no disponible (Saber más ...)